Pages that link to "Item:Q867145"
From MaRDI portal
The following pages link to On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman (Q867145):
Displaying 3 items.
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle (Q3183193) (← links)
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Q4477873) (← links)
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451) (← links)