A first course in logic:an introduction to model theory, proof theory, computability, and complexity
Saved in:
Main Authors: | |
---|---|
Published: |
Oxford University Press,
|
Publisher Address: | Oxford New York |
Publication Dates: | 2004. |
Literature type: | Book |
Language: | English |
Series: |
Oxford texts in logic ; 1 |
Subjects: | |
Carrier Form: | xx, 431 p.: ill. ; 25 cm. |
ISBN: |
0198529805 0198529813 (pbk.) |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/H455 |
Contents: | Includes bibliographical references (p. [426]-427) and index. |