2026 Reading Challenge

Jack Palmer’s Reviews > A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity > Status Update

Jack Palmer
Jack Palmer is on page 57 of 431
— Nov 25, 2025 06:00AM
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

flag

Jack’s Previous Updates

Jack Palmer
Jack Palmer is on page 53 of 431
— Nov 24, 2025 04:32AM
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)


Jack Palmer
Jack Palmer is on page 37 of 431
— Nov 23, 2025 06:33AM
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)


Post a comment »
Comments

No comments have been added yet.


All of Jack’s status updates
Everyone’s updates from this book