Syndetics cover image
Image from Syndetics

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

By: Hedman, ShawnMaterial type: TextTextSeries: Oxford texts in logic ; 1Publication details: Oxford : Oxford University Press, 2004. ISBN: 0198529813; 0198529805Subject(s): LogicDDC classification: 160
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.

Powered by Koha