Status Updates from All Editions of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Jack Palmer is on page 57 of 431

— Nov 25, 2025 06:00AM Add a comment

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Jack Palmer is on page 53 of 431

— Nov 24, 2025 04:32AM Add a comment

Jack Palmer is on page 37 of 431

— Nov 23, 2025 06:33AM Add a comment

Felipe Canteiro is on page 12 of 431

— May 20, 2024 09:12PM Add a comment

Felipe Canteiro is 7% done

— May 20, 2024 09:11PM Add a comment

Felipe Canteiro is on page 7 of 431

— Apr 18, 2024 06:54AM Add a comment

Josh is 21% done

— Oct 16, 2021 10:20PM Add a comment

Yumeko (blushes) is on page 52 of 431

Gödel:
Everywhere I go
They all know my name
Gödel can you hang
Systems' incomplete yeah🎶
...
50 pages in and already past proving completeness for prop logic? Godspeed.
...
'Important and interesting statement'
Reader: (gasp) How will he prove it?
Author: Leaves it to the reader

— Sep 28, 2021 08:41AM Add a comment

Yumeko (blushes) is on page 52 of 431

Gödel:
Everywhere I go
They all know my name
Gödel can you hang
Systems' incomplete yeah🎶
...
50 pages in and already past proving completeness for prop logic? Godspeed.
...
'Important and interesting statement'
Reader: (gasp) How will he prove it?
Author: _Leaves it to the reader_

— Sep 28, 2021 08:40AM Add a comment

Yumeko (blushes) is on page 52 of 431

Gödel:
Everywhere I go
They all know my name
Gödel can you hang
Systems' incomplete yeah🎶
...
50 pages in and already past proving completeness for prop logic? Godspeed.
...
'Important and interesting statement'
Reader: (gasp) How will he prove it?
Author: *Leaves it to the reader*

— Sep 28, 2021 08:39AM Add a comment