A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Name: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Author: Shawn Hedman

by Shawn Hedman · 2 reviews · 2007–2008

Reviewed by	Journal	Date	Access
Jesus M Larrazabal	Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria	2008-04-01	—
Alasdair Urquhart	The Bulletin of Symbolic Logic	2007-12-01	Restricted