| Shelfclass_id | 4.B.1 |
| Sortkey | MÜLLER, GERT H |
| Authors | Gert H. Müller, Wolfgang Lenski, Dirk Van Dalen, Jane E. Kister |
| Title | [Omega]-Bibliography of Mathematical Logic: Volume VI: Proof Theory Constructive Mathematics: Vol. 6 |
| Publisher | Springer-Verlag |
| Year | 1987 |
| Languages | eng |
| Isbn | 0387155244, 3540155244 |
| Series | Perspectives in mathematical logic |
| Description | 405 p. |
| Record date | 20080211 |
| Udk | 510.6, 016(021) |
| Location | New York |
| Keywords | Logik, Matematisk logik |