51 results
6  Cut Elimination

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 138165

 Chapter
 Export citation
2  Propositional Logic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 2858

 Chapter
 Export citation
5  Semantics of FirstOrder Logic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 110137

 Chapter
 Export citation
14  Arithmetic and Computation

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 383408

 Chapter
 Export citation
Contents

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp vviii

 Chapter
 Export citation
9  Primitive Recursive Arithmetic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 214236

 Chapter
 Export citation
17  Foundations

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 472487

 Chapter
 Export citation
Frontmatter

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp iiv

 Chapter
 Export citation
7  Properties of FirstOrder Logic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 166191

 Chapter
 Export citation
16  Subsystems of SecondOrder Arithmetic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 440471

 Chapter
 Export citation
12  Undecidability and Incompleteness

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 322350

 Chapter
 Export citation
Acknowledgments

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp xiixii

 Chapter
 Export citation
8  Primitive Recursion

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 192213

 Chapter
 Export citation
References

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 497503

 Chapter
 Export citation
11  Computability

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 279321

 Chapter
 Export citation
13  Finite Types

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 351382

 Chapter
 Export citation
10  FirstOrder Arithmetic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 237278

 Chapter
 Export citation
Index

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 508513

 Chapter
 Export citation
Appendix A  Background

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 488496

 Chapter
 Export citation
3  Semantics of Propositional Logic

 Book:
 Mathematical Logic and Computation
 Published online:
 08 September 2022
 Print publication:
 24 November 2022, pp 5982

 Chapter
 Export citation