Normal view MARC view ISBD view

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

Main Author Hedman, Shawn Country Reino Unido. Publication Oxford : Oxford University Press, imp. 2006 Description XX, 431 p. ; 25 cm Series Oxford texts in logic , 1 ISBN 978-0-19-852980-4 CDU 510.6
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - H Available 397784
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.