Bücher nach ISBN
>
Springer
> Anne Troelstra
Anne Troelstra
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Proof Theory Constructive Mathematics
978-3-54O-15524-9
(3-54O-15524-4)
1987
Gert H. Müller · Jane E. Kister · Dirk van Dalen · Wolfgang Lenski
Anne S. Troelstra
·
Anne T.
·
Anne Traulich
Änne Troester