6433 results in Logic, categories and Sets
5 - Semantics of First-Order Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 110-137
-
- Chapter
- Export citation
14 - Arithmetic and Computation
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 383-408
-
- Chapter
- Export citation
Contents
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp v-viii
-
- Chapter
- Export citation
References
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 527-532
-
- Chapter
- Export citation
Chapter 11 - Hod in the Derived Model of a Hod Mouse
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 501-526
-
- Chapter
- Export citation
9 - Primitive Recursive Arithmetic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 214-236
-
- Chapter
- Export citation
Chapter 3 - Background-Induced Iteration Strategies
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 69-100
-
- Chapter
- Export citation
Contents
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp vii-x
-
- Chapter
- Export citation
17 - Foundations
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 472-487
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp i-iv
-
- Chapter
- Export citation
7 - Properties of First-Order Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 166-191
-
- Chapter
- Export citation
Chapter 10 - Phalanx Iteration Into a Construction
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 441-500
-
- Chapter
- Export citation
16 - Subsystems of Second-Order Arithmetic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 440-471
-
- Chapter
- Export citation
12 - Undecidability and Incompleteness
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 322-350
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp xii-xii
-
- Chapter
- Export citation
Dedication
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp v-vi
-
- Chapter
- Export citation
8 - Primitive Recursion
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 192-213
-
- Chapter
- Export citation
References
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 497-503
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp i-iv
-
- Chapter
- Export citation
Chapter 4 - More Mice and Iteration Trees
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 101-202
-
- Chapter
- Export citation