51 results
6 - Cut Elimination
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 138-165
-
- Chapter
- Export citation
2 - Propositional Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 28-58
-
- Chapter
- Export citation
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
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
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
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
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
11 - Computability
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 279-321
-
- Chapter
- Export citation
13 - Finite Types
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 351-382
-
- Chapter
- Export citation
10 - First-Order Arithmetic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 237-278
-
- Chapter
- Export citation
Index
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 508-513
-
- Chapter
- Export citation
Appendix A - Background
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 488-496
-
- Chapter
- Export citation
3 - Semantics of Propositional Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 59-82
-
- Chapter
- Export citation