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:

Item type: Book

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book	KCST Library	160 He Fi (Browse shelf(Opens below))	Available		1000000297

Previous								Next
Previous	158.1 St Di Directed by purpose: how to focus on work that matters, ignore distractions and manage your attention over the long haul /	160 Bo Lo Logic demystified /	160 Bo Lo Logic demystified /	160 He Fi A first course in logic : an introduction to model theory, proof theory, computability, and complexity /	160 Hu Co A concise introduction to logic /	160 Mo Cr Critical thinking /	160 Mo Cr Critical thinking /	Next

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

There are no comments on this title.

to post a comment.