scientific article; zbMATH DE number 3968557
From MaRDI portal
Publication:3735686
Recommendations
Cited in
(7)- The existential graphs
- Jean van Heijenoort's contributions to proof theory and its history
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Jean van Heijenoort's conception of modern logic, in historical perspective
- The complexity of counting quantifiers on equality languages
- A perspective on the theory of relation algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3735686)