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

By:

Material type: Text

TextPublication details: Great Clarendon Street, Oxford Oxford Univ. Press c2006Description: xx, 431 p. ; 23 cm. 23 cmISBN:

Subject(s):

LOC classification:

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Includes bibliography and index.

There are no comments on this title.

to post a comment.