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

Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Powered by Amazon.com