scientific article; zbMATH DE number 218494
From MaRDI portal
Publication:4694207
zbMath0770.03002MaRDI QIDQ4694207
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items (9)
L. E. J. Brouwer: Toward intuitionistic logic ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Heyting’s contribution to the change in research into the foundations of mathematics ⋮ Eliminating disjunctions by disjunction elimination ⋮ Popper's Notion of Duality and His Theory of Negations ⋮ A semantic hierarchy for intuitionistic logic ⋮ Intuitionism, Meaning Theory and Cognition ⋮ The first axiomatization of relevant logic ⋮ Markov's constructive analysis; a participant's view
This page was built for publication: