AN INTERPRETATION OF INTUITIONISTIC ANALYSIS.VAN DALEN D.1978; ANN. MATH. LOGIC; NETHERL.; DA. 1978; VOL. 13; NO 1; PP. 1-43; BIBL. 1 P. 1/2Article

SINGLETON REALSVAN DALEN D.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 108; PP. 83-94; BIBL. 7 REF.Conference Paper

LAWLESSNESS AND INDEPENDENCEVAN DALEN D; LODDER JS.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 297-309; BIBL. 3 REF.Conference Paper

How to glue analysis modelsVAN DALEN, D.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1339-1349, issn 0022-4812Article

Four Letters from Edmund Husserl to Hermann WeylVAN DALEN, D.Husserl Studies La Haye. 1984, Vol 1, Num 1, pp 1-12Article

Brouwer: The Genesis of his IntuitionismVAN DALEN, D.Dialectica Lausanne. 1978, Vol 32, Num 3-4, pp 291-303Article

Logique et mathématiques: tolérance et coopérationVAN DALEN, D.Wijsgerig Perspectief op Maatschappij en Wetenschap Amsterdam. 1981, Vol 22, Num 1, pp 22-25Article

CONSTRUCTIVE MATHEMATICS, MODEL THEORY AND SET THEORYBOFFA M ED; VAN DALEN D; MCALOON K ED et al.1979; STUD. LOGIC FOUND. MATH.; NLD; DA. 1979; VOL. 97; X-434 P.; BIBL. DISSEM.Conference Paper

Normal functors, power series and λ-calculusGIRARD, J.-Y; VAN DALEN, D.Annals of pure and applied logic. 1988, Vol 37, Num 2, pp 129-177, issn 0168-0072Article

Constructivism in mathematics: an introduction. II = Le constructivisme en mathématiques: une introduction. IITROELSTRA, A. S; VAN DALEN, D.Studies in logic and the foundations of mathematics. 1988, Vol 123, pp 345-879, issn 0049-237XSerial Issue

On the programs-as-formulas interpretation of parallel programs in Peano arithmeticFARKAS, E. J; SZABO, M. E; VAN DALEN, D et al.Annals of pure and applied logic. 1988, Vol 37, Num 2, pp 111-127, issn 0168-0072Article

FLUID ENDOCYTOSIS BY RAT LIVER AND SPLEEN: EXPERIMENTS WITH ¹²⁵I-LABELLED POLY(VINYLPYRROLIDONE) IN VIVOMUNNIKSMA J; NOTEBORN M; KOOISTRA T et al.1980; BIOCHEM. J., CELL. ASP.; ISSN 0306-3283; GBR; DA. 1980; VOL. 192; NO 2; PP. 613-621; BIBL. 41 REF.Article

On the scheme of induction for bounded arithmetic formulasWILKIE, A. J; PARIS, J. B; VAN DALEN, D et al.Annals of pure and applied logic. 1987, Vol 35, Num 3, pp 261-302, issn 0168-0072Article

Rat liver endothelial cells have a greater capacity than Kupffer cells to endocytose N-acetylglucosamine- and mannose-terminated glycoproteinsPRAANING-VAN DALEN, D. P; DE LEEUW, A. M; BROUWER, A et al.Hepatology (Baltimore, Md.). 1987, Vol 7, Num 4, pp 672-679, issn 0270-9139Article