Recursive Predicates and Quantifiers (Q5843994): Difference between revisions

@@ label / en / label / en @@
+Recursive Predicates and Quantifiers
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1990131
@@ Property / full work available at URL: https://doi.org/10.2307/1990131 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4236482601
@@ Property / OpenAlex ID: W4236482601 / rank @@
+Normal rank
@@ Property / title @@
+Recursive Predicates and Quantifiers (English)
@@ Property / title: Recursive Predicates and Quantifiers (English) / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55877787
@@ Property / Wikidata QID: Q55877787 / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive second number class
@@ Property / cites work: The constructive second number class / rank @@
+Normal rank
@@ Property / cites work @@
+Q5765116
@@ Property / cites work: Q5765116 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Some aspects of the problem of mathematical rigor
@@ Property / cites work: Some aspects of the problem of mathematical rigor / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772177
@@ Property / cites work: Q5772177 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Positive Integers in Formal Logic. Part I
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A note on recursive functions
@@ Property / cites work: A note on recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5845414
@@ Property / cites work: Q5845414 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel Theorems for Non-Constructive Logics
@@ Property / cites work: Gödel Theorems for Non-Constructive Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On undecidable statements in enlarged systems of logic and the concept of truth
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5843994