このページのリンク

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
書誌ID 1000222839

所蔵情報を非表示

3F・書庫-NDC分類図書(請求制) : gw 410.8||L1||1104 219890054104

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-
件 名 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA3
LCC:QA9.A1
DC19:510 s
DC19:511.3
NDC8:410.8
ISBN 354013901X
NCID BA03966043

 類似資料