DOORS（同志社大学図書館）

こちらに共通ヘッダが追加されます。

検索結果一覧に戻る

The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy
(CSLI lecture notes ; no. 23)

データ種別	図書
版	3rd ed., rev. and expanded
出版者	Stanford, CA : Center for the Study of Language and Information
出版年	c1993
大きさ	xiv, 313 p. : ill. ; 24 cm. + 1 computer disk (3 1/2 in.)

所蔵情報を非表示

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
文学部英文		007.64\|\|B345-3A	932015986						仮想書架		仮想書架

書誌詳細を非表示

書誌ID	BB00257784
本文言語	英語
一般注記	System requirements for computer disk (Tarski's world 4.0): Macintosh computer Computer disk in pocket Includes indexes
著者標目	*Barwise, Jon Etchemendy, John, 1952-
統一書名標目	Tarski's world (Computer program)
件　名	LCSH:First-order logic LCSH:Tarski's world (Computer program)
分　類	LCC:BC128 DC20:160 NDC8:116
巻冊次	ISBN:0937073997 ; PRICE:$40.25 RefWorks出力（各巻）
NCID	BA21075930

目次・あらすじ