1
Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)
साल:
1987
भाषा:
english
फ़ाइल:
PDF, 15.16 MB
0 / 0
english, 1987
2
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

A.S. Troelstra and D. van Dalen (Eds.)
साल:
1982
भाषा:
english
फ़ाइल:
PDF, 6.00 MB
0 / 0
english, 1982
3
Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

John W. Reynolds (auth.), J. H. P. Jonxis M.D., H. K. A. Visser M.D., J. A. Troelstra M.D. (eds.)
साल:
1968
भाषा:
english
फ़ाइल:
PDF, 11.89 MB
0 / 0
english, 1968
5
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

A. S. Troelstra (eds.)
साल:
1973
भाषा:
english
फ़ाइल:
PDF, 21.39 MB
0 / 0
english, 1973
6
Mathematical Logic

Mathematical Logic

A. S. Troelstra (auth.), Petio Petrov Petkov (eds.)
साल:
1990
भाषा:
english
फ़ाइल:
PDF, 34.28 MB
0 / 0
english, 1990