Similar Listings
Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Comput...
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (,
Introduction to Logic and the Methodology of Deductive Sciences by Alfred Tarski
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
Whole Truth About Whole Numbers : An Elementary Introduction to Number Theory...
An Introduction to Mathematical Logic and Type Theory - 9789048160792