Anne Troelstra

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Proof Theory Constructive Mathematics978-3-54O-15524-9
(3-54O-15524-4)
1987Gert H. Müller · Jane E. Kister · Dirk van Dalen · Wolfgang Lenski

Anne S. Troelstra · Anne T. · Anne Traulich

Änne Troester