The following pages link to (Q4694207):
Displaying 13 items.
- The first axiomatization of relevant logic (Q1206805) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- On the history of discussions about intuitionist logic (Q2713265) (← links)
- Intuitionism, Meaning Theory and Cognition (Q2757999) (← links)
- Robert and Hermann Grassmann’s influence on the history of formal logic (Q2995116) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
- Popper's Notion of Duality and His Theory of Negations (Q4608217) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- (Q5700778) (← links)
