The following pages link to (Q3735686):
Displaying 7 items.
- The complexity of counting quantifiers on equality languages (Q515549) (← links)
- The existential graphs (Q1202676) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)