Proof Theory Constructive Mathematics (= Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume VI)

Bibliography

von: Gert H. Müller · Jane E. Kister · Dirk van Dalen · Anne Troelstra · Wolfgang Lenski

Gebunden

ISBN: 978-3-540-15524-9

ISBN-10: 3-540-15524-4

Springer · 1987