A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.

By:

Material type: Text

TextSeries: Oxford texts in logic ; 1Publication details: Oxford ; New York : Oxford University Press, 2004.Description: xx, 431 p. : ill. ; 25 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Materials specified	Status
E-Book	Reformational Study Centre General library	160 (Browse shelf(Opens below))	an introduction to model theory, proof theory, computability, and complexity	Available

Previous								Next
Previous	160 A companion to philosophical logic	160 Logic : a God-centered approach to the foundation of western thought /	160 Critical Thinking A Concise Guide.	160 A first course in logic : an introduction to model theory, proof theory, computability, and complexity /	160 The Bloomsbury companion to philosophical logic /	160 ALEX An introduction to logic	160 AUGU De dialectica /	Next

Includes bibliographical references (p. [426]-427) and index.