Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Richter Michael M.)
Results:2items
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I / edited by G.H. Müller and M.M. Richter
: us,: gw. - Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1103)
Books
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.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in mathematics ; 1104)