OPAC

Elements of mathematical logic : (Model theory) / [By] G. Kreisel and J. L. Krivine
(Studies in logic and the foundations of mathematics)

データ種別	図書
出版者	Amsterdam : North Holland Pub. Co.
出版年	1967
本文言語	英語
大きさ	xi, 222 p. ; 23 cm
著者標目	*Kreisel, Georg Krivine, J. L. (Jean Louis)

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-1階-手動書架	411\|\|KR3	100210285						予約	請求メモ	予約	請求メモ

別書名	原タイトル:Eléments de logique mathématique, theorie des modéles
一般注記	Translation of Eléments de logique mathématique, theorie des modéles
件　名	LCSH:Logic, Symbolic and mathematical
分　類	LCC:QA9 DC:164
書誌ID	B000087785
NCID	BA03985922