---

＜図書＞
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
著者標目	*Logic Colloquium (1983 : Aachen, Germany) Müller, G. H. (Gert Heinz), 1923- Richter, Michael M., 1938-
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
一般注記	"Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics ... " Includes bibliographies

 類似資料