First-order logic

＜図書＞
First-order logic

責任表示	Raymond M. Smullyan
データ種別	図書
出版情報	New York : Dover , c1995
本文言語	英語
大きさ	xii, 158 p. ; 22 cm
概要	An introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods.

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: pbk	理系図1F 開架	410.9/Sm 8	1995		031212017500442		予約・取寄			予約・取寄

一般注記	"An unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Mathematik und ihrer Grenzgebiete')"--T.p. verso Includes bibliographical references (p. [156]) and index
著者標目	*Smullyan, Raymond M., 1919-
件　名	LCSH:First-order logic
分　類	LCC:QA9 DC20:511.3
書誌ID	1001651738
ISBN	0486683702
NCID	BA28334345
巻冊次	: pbk ; ISBN:0486683702
登録日	2018.02.22
更新日	2018.02.22