Language proof and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
データ種別 | 図書 |
---|---|
著者標目 | *Barwise, Jon Etchemendy, John, 1952- Allwein, Gerard, 1956- Barker-Plummer, Dave Liu, Albert, 1966- |
出版者 | Stanford, Calif. : CSLI Publications |
出版者 | New York : Seven Bridges Press |
出版年 | 1999 |