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

By: Hedman, ShawnSeries: Oxford texts in logic ; no. 1Publication details: New York : Oxford University Press, C2004. Description: xx, 431 p. : ill. ; 25 cmISBN: 9781423770794 128075897X 9781280758973Subject(s): Logic. Logic, Symbolic and mathematical.. PHILOSOPHY -- LogicDDC classification: 160 HED

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )
Images

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode	Item holds
English Lending	Villa College Library	Villa College Library	160 HED (Browse shelf(Opens below))	Available		8940

Total holds: 0

Browsing Villa College Library shelves Close shelf browser (Hides shelf browser)

Previous				No cover image available				Next
Previous	160 COT Critical thinking skills : developing effective analysis and argument /	160 COT Critical thinking skills : developing effective analysis and argument /	160 EPS Critical Thinking /	160 HED A first course in logic : Shawn Hedman	170.22 TAK Taking sides : clashing views on moral issues /	170.22 TAK Taking sides : clashing views on moral issues /	170.44 CHI Chicken soup for the child's soul : character-building stories to read with kids ages 5-8	Next

1. Propositional logic
2. Structures and first-order logic
3. Proof theory
4. Properties of first-order logic
5. First-order theories
6. Models of countable theories
7. Computability and complexity
8. The incompleteness theorems
9. Beyond first-order logic
10. Finite model theory

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer