このページのリンク

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

データ種別 図書
出版情報 Berlin ; Tokyo : Springer-Verlag , 1984
本文言語 英語
大きさ viii, 475 p. ; 25 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||1104 9852383365
354013901X

書誌詳細を非表示

別書名 異なりアクセスタイトル:Models and sets
一般注記 "Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics ... "
Includes bibliographies
著者標目  *Logic Colloquium (1983 : Aachen, Germany)
 Müller, G. H. (Gert Heinz), 1923-
 Richter, Michael M., 1938-
分 類 LCC:QA3
LCC:QA9.A1
DC19:510 s
DC19:511.3
NDC8:410.8
件 名 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
書誌ID TY00016852
ISBN 354013901X
NCID BA03966043