Explore >> Select a destination

You are here

 consequently.org
Logical Pluralism - consequently.org
| | richardzach.org
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
3.5 parsecs away

Travel
| | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780...
| | www.umsu.de
Teaching logic: Tarski vs Mates vs "logical constants" :: Wolfgang Schwarz
7.7 parsecs away

Travel
| |
| | inquiryintoinquiry.com
16 | November | 2013 | Inquiry Into Inquiry
6.2 parsecs away

Travel
| | 1 post published by Jon Awbrey on November 16, 2013
| | vitalyobukhov.wordpress.com
Raaiiyaararaiyora | #about.me
17.5 parsecs away

Travel
| Visit the post for more.