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