Søkte etter:

8 treff

Basic proof theory
A.S. Troelstra, H. Schwichtenberg
Bok Engelsk 2000
Basic proof theory
A.S. Troelstra, H. Schwichtenberg
Bok Engelsk 1996
Lectures on linear logic
Troelstra, A.S.
Bok Engelsk 1992
The L. E. J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13, June 1981
L. E. J. Brouwer Centenary Symposium
Bok Språk ikke angitt 1982
Choice sequences : a chapter of intuitionistic mathematics
Troelstra, A.S.
Bok Språk ikke angitt 1977
Metamathematical investigation of intuitionistic arithmetic and analysis
A. S. Troelstra (editor)
Bok Språk ikke angitt 1973
Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y.
Troelstra, A.S.
Bok Engelsk 1969
Intuitionistic general topology
Troelstra, A.S.
Bok Engelsk 1966