Richter, Michael M., 1938-
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | His Logikkalküle, 1978: t.p. (Dr. rer. nat. Michael M. Richter, Wiss. Rat u. Prof., TU, Aachen) verso t.p. (b. 1938 in Berlin) Logic Colloquium (1983 : Aachen, Germany). Models and sets, 1984- : v. 1, t.p. (M. M. Richter) |
| Dates of Birth and Death | 1938- |
| から見よ参照 | Richter, M. M. (Michael M.), 1938- |
| コード類 | 典拠ID=AU20068939 NCID=DA01907786 |
| 1 | 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 |
| 2 | 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 |