Omega-Bibliography of Mathematical Logic / Proof Theory, Constructive Mathematics | ISBN 9783540155249

Omega-Bibliography of Mathematical Logic / Proof Theory, Constructive Mathematics

herausgegeben von Gert H. Müller, Jane E. Kister, Dirk, van Dalen und Anne Troelstra
Mitwirkende
Herausgegeben vonGert H. Müller
Herausgegeben vonJane E. Kister
Herausgegeben vonDirk, van Dalen
Herausgegeben vonAnne Troelstra
Beiträge vonWolfgang Lenski
Buchcover Omega-Bibliography of Mathematical Logic / Proof Theory, Constructive Mathematics  | EAN 9783540155249 | ISBN 3-540-15524-4 | ISBN 978-3-540-15524-9

Omega-Bibliography of Mathematical Logic / Proof Theory, Constructive Mathematics

herausgegeben von Gert H. Müller, Jane E. Kister, Dirk, van Dalen und Anne Troelstra
Mitwirkende
Herausgegeben vonGert H. Müller
Herausgegeben vonJane E. Kister
Herausgegeben vonDirk, van Dalen
Herausgegeben vonAnne Troelstra
Beiträge vonWolfgang Lenski