First Course in Logic by Shawn Hedman

First Course In Logic : An Introduction To Model Theory, Proof Theory, Comput...

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab

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

A Course in Model Theory : An Introduction to Contemporary Mathematical Logic

Shawn Hedman A First Course in Logic (Paperback) (UK IMPORT)

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab