An Introduction to Mathematical Logic and Type Theory: To Truth Through Proo...

A Mathematical Introduction to Logic

Mathematical Introduction to Logic by Herbert B. Enderton VG 1972 Hardcover

Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Comput...

An Introduction to Probability Theory and Mathematical Statistics Rohatgi READ

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic

Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Comput...

Mathematical Methods for Physics: An Introduction to Group Theory, Topology and