Mendeley出力
Metalogic : an introduction to the metatheory of standard first order logic / Geoffrey Hunter
| データ種別 | 図書 |
|---|---|
| 著者標目 | *Hunter, Geoffrey |
| 出版者 | Berkeley : University of California Press |
| 出版年 | c1971 |
書誌詳細を非表示
| 巻次 | ISBN:0520018222 : pbk ; ISBN:0520023560 |
|---|---|
| 大きさ | xiii, 288 p. ; 22 cm |
| 本文言語 | 英語 |
| 一般注記 | Bibliography: p. [262]-274 Paper-bound edition, 1973 |
| 件 名 | LCSH:First-order logic |
| 分 類 | LCC:BC128 DC:511/.3 |
| 書誌ID | 1000067148 |
| ISBN | 0520018222 |
| NCID | BA09963707 |