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

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