6433 results in Logic, categories and Sets
Chapter 11 - Extensions of the system AI
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp 511-562
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp i-vi
-
- Chapter
- Export citation
Chapter 5 - Aoo-Definable functions
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp 232-277
-
- Chapter
- Export citation
Chapter 9 - A-Definable sets of lattice points
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp 409-422
-
- Chapter
- Export citation
Chapter 1 - Formal systems
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp 10-33
-
- Chapter
- Export citation
Chapter 3 - Predicate calculi
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp 72-212
-
- Chapter
- Export citation
Mathematical Logic with Special Reference to the Natural Numbers
-
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972
Chapter 7 - Ao-Definable functions. Recursive function theory
-
- Book:
- Mathematical Logic with Special Reference to the Natural Numbers
- Published online:
- 07 October 2011
- Print publication:
- 20 January 1972, pp 288-386
-
- Chapter
- Export citation
-
Lecture Notes in Logic
- Series
The Review of Symbolic Logic
- Published for: The Association for Symbolic Logic
-
- Journal
-
- Get access
- Contains open access
The Largest Suslin Axiom
-
- Expected online publication date:
- June 2024
- Print publication:
- 27 June 2024
-
Perspectives in Logic
- Series