Proof Theory Constructive Mathematics (= Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume VI)
von:
Gert H. Müller
· Jane E. Kister ·
Dirk van Dalen
· Anne Troelstra ·
Wolfgang Lenski
Gebunden
Details (
Deutschland
)
ISBN: 978-3-540-15524-9
ISBN-10: 3-540-15524-4
Springer
· 1987