Normal view
MARC view
Intuitionistic mathematics. (Topical Term)
Machine generated authority record.
Work cat.: (MY-SjTCS)66753: Mints, G. E. 295870, A short introduction to intuitionistic logic, 2000.