Omega-bibliography of mathematical logic, 6. Proof theory; Constructive mathematics
Berlin [u.a.]: Springer, 1987
Bibliografie, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
- XLI, 405 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Omega-bibliography of mathematical logic, 6. Proof theory; Constructive mathematics
|
---|---|
Verantwortlichkeitsangabe: | ed. by Gert H. Müller .. |
Autor/in / Beteiligte Person: | Müller, Gert H. |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1987 |
Medientyp: | Bibliografie, Sammelwerk, Teil eines Werkes |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XLI, 405 S. |
ISBN: | 3540155244 (Berlin ...); 0387155244 (New York ...) |
Schlagwort: |
|
Sonstiges: |
|