Loading…

Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp

Saved in:

Bibliographic Details
Published in:	The bulletin of symbolic logic 2007-12, Vol.13 (4), p.538-540
Main Author:	Urquhart, Alasdair
Format:	Article
Language:	English
Citations:	Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!