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

Published Oxford ; New York : Oxford University Press, 2004

Copies

Location	Call no.	Vol.	Availability
MELB	160 Hed/Fci		DUE 03-05-24

Description xx, 431 pages : illustrations ; 25 cm Series Oxford texts in logic ; 1 Oxford texts in logic ; 1 Contents Machine derived contents note: Preliminaries -- 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 -- Bibliography -- Index Notes Includes index Bibliography Includes bibliographical references (pages [426]-427) and index Subject Logic -- Textbooks. Logic, Symbolic and mathematical. Logic. Genre/Form Textbooks. LC no. 2004303637 ISBN 0198529805 0198529813 (paperback)

  Permalink