Anne S. Troelsta

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Proof Theory Constructive Mathematics : Bd. 6978-3-54O-15524-9
(3-54O-15524-4)
1987Jane E. Kister · Dirk van Dalen

A.S. · Anne T. · S. T.

Anne S. Troelstra