Yazar
a s troelstra
18 cilt bulundu.
A. S. Troelstra · Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
879 sayfa · 1988
Constructive mathematics
A. S. Troelstra · Springer-Verlag
111 sayfa · 1969
Intuitionistic mathematics / Intuition / Symbolic and mathematical Logic
A S. Troelstra · Springer-Verlag
488 sayfa · 1973
Intuitionistic mathematics / Proof theory / Model theory / Mathematics / Symbolic and mathematical Logic
A. S. Troelstra · Center for the Study of Language and Information
200 sayfa · 1992
Logic, Symbolic and mathematical / Symbolic and mathematical Logic
A. S. Troelstra · Clarendon Press
170 sayfa · 1977
Intuitionistic mathematics / Sequences (Mathematics)
A. S. Troelstra · KNNV Publishing
Sayfa sayısı yok · 2016
Natural history / Bibliography / Travel / Naturalists / Biography
A. S. Troelstra · Mathematisch Instituut, Universiteit van Amsterdam
40 sayfa · 1971
Intuitionistic mathematics
A. S. Troelstra · Springer
485 sayfa · 1973
Symbolic and mathematical Logic / Mathematics / Methodology
A. S. Troelstra, D. van Dalen · Elsevier Science & Technology Books
355 sayfa · 1988
Constructive mathematics
A. S. Troelstra, D. van Dalen · Elsevier Science & Technology Books
Sayfa sayısı yok · 2014
Kategori yok
A. S. Troelstra, D. van Dalen · Elsevier Science & Technology Books
Sayfa sayısı yok · 1982
Kategori yok
A. S. Troelstra, D. Van Dalen · Elsevier Science & Technology
129 sayfa · 1988
Constructive mathematics