Metalogic: An Introduction to the Metatheory of Standard First Order Logic


An excellent book, old but still very readable and reliable: Metalogic: An Introduction to the Metatheory of Standard First Order Logic.

Highly recommended summer-reading to any philosophy student.

Comments

Popular posts from this blog

On the value of taking care of the roses (series: notes to myself)

Mind the app - considerations on the ethical risks of COVID-19 apps

The Loebner Prize from a judge's perspective

On the art of biting one's own tongue (series: notes to myself)

On the importance of being pedantic (series: notes to myself)

Sulla morte come "distanza che si apre nella vita"

(revised on Medium) On a sachet of brown sugar (series: notes to myself)

Breve commento su "Non è il mio lutto" e la morte di Berlusconi.