zbMath0323.02041MaRDI QIDQ4085704
A. S. Troelstra
Publication date: 1974
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics
03B55: Intermediate logics
Related Items