Normal view
MARC view
Intuitionistic mathematics (Topical Term)
Machine generated authority record.
Work cat.: (OSt)65230: Kleene, Stephen Cole 2691496, The Foundations of intuitionistic mathematics :, 1965