| NCID | BA68240757 |
| タイトル | A first course in logic : an introduction in model theory, proof theory, computability, and complexity / Shawn Hedman |
| 出版者 | Oxford : Oxford University Press , 2004 |
| 形態 | xx, 431 p ; 24cm |
| 注記 | Includes bibliographical references (p. [426]-427) and index |
| シリーズ名 | Oxford texts in logic ; 1
|
| 著者情報 | *Hedman, Shawn <>
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0198529805
0198529813(: pbk)
|