Normal view MARC view ISBD view

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

By: Hedman, Shawn.
Material type: materialTypeLabelBookSeries: Oxford texts in logic ; 1. Publisher: Oxford ; New York : Oxford University Press, 2004Description: xx, 431 p. : ill. ; 25 cm.ISBN: 0198529805; 0198529813 (pbk.).Subject(s): Logic | Logic, Symbolic and mathematicalDDC classification: 160 Online resources: Publisher description | Table of contents only
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Book - Borrowing Book - Borrowing Central Library
Lower Floor
160 HED (Browse shelf) Available 000003206
Total holds: 0

Includes bibliographical references (p. [426]-427) and index.

There are no comments for this item.

Log in to your account to post a comment.

Other editions of this work

A first course in logic : by Hedman, Shawn. ©2004

Powered by Koha