この文献を取り寄せる

このページのリンク

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

所蔵情報を非表示

小金井・閲覧室一般書 : pbk 801 60267366
1889119083

書誌詳細を非表示

別書名 背表紙タイトル:Language proof & logic
巻次 : pbk ; ISBN:1889119083
大きさ xi, 587 p. : ill. ; 24 cm + 1 CD-ROM (12 cm)
本文言語 英語
一般注記 "Text/Software Package"
1 CD-ROM in pocket (12 cm)
件 名 LCSH:Logic
分 類 LCC:BC61
DC21:160
書誌ID 1000100841
ISBN 1889119083
NCID BA46395603

 類似資料