OPAC

The language of first-order logic including the program Tarski's World / Jon Barwise and John Etchemendy
(CSLI lecture notes ; no. 23)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
科学文化論(品)		116/B25	0192022385	9202238					仮想書架		仮想書架

出版情報	[Menlo Park, CA] : Center for the Study of Language and Information , [c1990]
大きさ	259 p. ; 23 cm + 1 diskette
著者標目	*Barwise, Jon Etchemendy, John, 1952-
分　類	NDC:116
本文言語	英語
書誌ID	TY00001318
NCID	BA1227624X