福岡大学蔵書検索

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part 2 / edited by M.M. Richter ... [et al.]
(Lecture notes in mathematics ; 1104)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	1984
形態	475 p. ; 25 cm
著者標目	Logic Colloquium Müller, Gert Heinz, 1923-
件　名	Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC:410.8 NDC:410.1 DDC:510 s DDC:511.3 LCC:QA3 LCC:QA9.A1
書誌ID	LT00170780

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	410.8/D84/1-1104	0106458470109	9783540139010				予約・取寄				予約・取寄

本文言語	英語
一般注記	"Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics . .. " Includes bibliographies
NCID	BA03966043
巻冊次	ISBN:354013901X

目次／あらすじ