Normal view
MARC view
Symbolic and mathematical Periodicals. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)656246: Kleene, Stephen Cole 1504319, The Foundations of intuitionistic mathematics :, 1965