2,243 followers
288 followers
@geostylegeo https://t.co/uAXXvAZPQo I think that I have a pdf of this somewhere. Formal logic post Goedel can be interesting
141 followers
What Is a Logic? (2007) : Till Mossakowski and Joseph Goguen and Răzvan Diaconescu and Andrzej Tarlecki DOI: https://t.co/IoxYKzCpMx #institution #logic #proof_theory #theory #my_bibtex