name university year home submit about help

A.S. Troelstra

Doctorate from Universiteit van Amsterdam in 1966
Adviser: A. Heyting
Students:
  1. Dan Leivant (Universiteit van Amsterdam, 1975)
name university year home submit about help