Amazon cover image
Image from Amazon.com

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 ; New York : Oxford University Press, 2004.Description: xx, 431 p. : ill. ; 25 cmISBN:
  • 0198529805
  • 0198529813 (pbk.)
Subject(s): DDC classification:
  • 160 22
LOC classification:
  • QA9 .H36 2004
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Shelving location Call number Copy number Status Barcode
Books Books Main Campus Library University of Eastern Africa, Baraton Main Stack QA 9 .H36 2004 c.1 (Browse shelf(Opens below)) 1 Available 70382
Books Books Main Campus Library University of Eastern Africa, Baraton Main Stack QA 9 .H36 2004 c.2 (Browse shelf(Opens below)) 2 Available 70383

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

There are no comments on this title.

to post a comment.