| NCID | BA46395603 |
| タイトル | Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu |
| 出版者 | Stanford, Calif. : CSLI Publications
New York : Seven Bridges Press , 1999 |
| 形態 | xi, 587 p. : ill. ; 24 cm |
| 別書名 | Language proof & logic
|
| 注記 | "Text/Software Package" |
| 分類 | LCC:BC61
DC21:160 |
| 件名 | LCSH:Logic
|
| 著者情報 | Barwise, Jon
Etchemendy, John, 1952-
Allwein, Gerard, 1956-
Barker-Plummer, Dave
Liu, Albert, 1966- <>
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 1889119083(: pbk)
|
| 番号 | LCCN : 99041113 |