[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Intuitionistic formal systemsTroelstra, A. S. · 1973

[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Applications of Kripke modelsTroelstra, A. S. · 1973

[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Realizability and functional interpretationsTroelstra, A. S. · 1973

[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Iterated inductive definitions, trees and ordinalsTroelstra, A. S. · 1973

[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Normalization theorems for systems of natural deductionTroelstra, A. S. · 1973

Nitrification in Dutch heathland soilsW. Boer; P. J. A. Klein Gunnewiek; S. R. Troelstra · 1990

Analysing choice sequencesA. S. Troelstra · 1983

Realizability and intuitionistic logicJ. Diller; A. S. Troelstra · Synthese · 1984

Choice sequences and informal rigourA. S. Troelstra · Synthese · 1985

Elektrophoresemessungen an hydrophoben KolloidenS. A. Troelstra; H. R. Kruyt · 1942

Zur Methodik der ElektrodialyseH. de Bruyn; S. A. Troelstra · 1938

Informal theory of choice sequencesA. S. Troelstra · Studia Logica · 1969

Extinktiometrische Untersuchung der KoagulationS. A. Troelstra; H. R. Kruyt · 1943