Syndetics cover image
Image from Syndetics

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

By: Material type: TextTextSeries: Oxford texts in logic ; 1Publication details: Oxford : Oxford University Press, 2004.ISBN:
  • 0198529813
  • 0198529805
Subject(s): DDC classification:
  • 160 22
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan de Havilland Learning Resources Centre Main Shelves 160 HED (Browse shelf(Opens below)) Available 5000126804
Total holds: 0

Enhanced descriptions from Syndetics:

Includes index.

Bibliography: p. 426-427.