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 |