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

Author/creator Hedman, Shawn
Format Electronic
Publication InfoOxford ; New York : Oxford University Press,
Descriptionxx, 431 p. : ill. ; 25 cm.
Supplemental ContentFull text available from eBooks on EBSCOhost
Subjects

SeriesOxford texts in logic ; 1
Bibliography noteIncludes bibliographical references (p. [426]-427) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2004303637
ISBN0198529805
ISBN0198529813 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available