A. S. Troelstra

Identifiers

Open LibraryOL536806A

Top Subjects

Intuitionistic mathematics (4)
Constructive mathematics (2)
Scientific expeditions (2)
Natural history (2)
Topology. (1)
Model theory. (1)
Proof theory. (1)

Books by A. S. Troelstra

Total count: 16

Intuitionistic general topology.

V.R.B., Kleine der A 3-41966-01-01
Computability of terms and notions of realizability for intuitionistic analysis

Mathematisch Instituut1971-01-01
Notes on intuitionistic second order arithmetic

Mathematisch Instituut, Universiteit van Amsterdam1971-01-01
Metamathematical investigation of intuitionistic arithmetic and analysis

Springer1973-01-01
Mathematical investigation of intuitionistic arithmetic and analysis

Springer1973-01-01
Axioms for intuitionistic mathematics incompatible with classical logic

Mathematisch Instituut1975-01-01
Choice sequencesa chapter of intuitionistic mathematics

Clarendon Press1977-01-01
L. E. J. Brouwer Centenary Symposium

Elsevier Science & Technology Books1982-01-01
Constructivism in Mathematics, Vol 1

Elsevier Science & Technology Books1988-01-01
Constructivism in MathematicsAn Introduction

Elsevier Science & Technology Books1988-01-01
Constructivism in Mathematics Vol. 2An Introduction

Elsevier Science & Technology1988-01-01
Lectures on linear logic

Center for the Study of Language and Information1992-01-01
Basic proof theory

Cambridge University Press1996-01-01
Tijgers op de Araratnatuurhistorische reisverhalen, 1700-1950

Atlas2003-01-01
Constructivism in Mathematics, Vol 2 Vol. II

Elsevier Science & Technology Books2014-01-01
Bibliography of natural history travel narratives

KNNV Publishing2016-01-01