Goodreads Choice Awards Opening Round

Status Updates From An Introduction to Proof Th...

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
by


Status Updates Showing 1-20 of 20

order by

Knogger
Knogger is on page 328 of 432
— Sep 24, 2026 01:22AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 313 of 432
— Sep 22, 2026 10:42PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 293 of 432
— Sep 20, 2026 12:05PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 326 of 432
— Jul 05, 2025 07:33AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 320 of 432
— Jul 05, 2025 03:23AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 295 of 432
— Jun 26, 2025 06:12PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 289 of 432
— Jun 24, 2025 09:52PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 288 of 432
— Jun 23, 2025 03:10PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 272 of 432
— Jun 20, 2025 01:38PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs


Knogger
Knogger is on page 268 of 432
— Apr 03, 2025 05:22PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 256 of 432
— Mar 27, 2025 09:17AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 201 of 432
— Mar 23, 2025 02:42AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 135 of 432
— Mar 03, 2025 08:52AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 130 of 432
— Mar 02, 2025 02:10AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 125 of 432
— Feb 28, 2025 06:35AM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 125 of 432
— Jan 11, 2025 05:57PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Knogger
Knogger is on page 115 of 432
— Jan 08, 2025 10:17PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Zixiu Su
Zixiu Su is on page 154 of 432
— Sep 18, 2021 02:58PM Add a comment
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs