書誌番号	0000086991
言語	eng : 英語
NACSIS ID	BA20959259
和洋区分	洋資料
書名	The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0
親書誌名 ; 番号等	CSLI lecture notes ; no. 34
版	3rd ed., rev. and expanded
著者名	Jon Barwise & John Etchemendy
出版事項	Stanford, CA : Center for the Study of Language and Information, c1992
形態	xiv, 319 p. ; 24 cm
分類	米国議会図書館分類表 : BC128 DC20版 : 160
巻冊次表示	Vol No 巻書名 ISBN 表示価格 書籍リンク 1 0937073903 $34.95
著者名標目	Barwise, Jon DA00049826 Etchemendy, John, 1952- DA02109066
件名	[普通件名] : First-order logic [統一書名] : Tarski's world (Computer program)

該当件数：1件

巻書名	所蔵ID	配架場所	請求記号	ステータス	返却予定日		予約数
	110972587	図書館会議室	116   B25	貸出可能			0

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します