03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B55 Intermediate logics (1 articles)
- : The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657
Search
Partner of
