The following pages link to On the logic of quantification (Q5834317):
Displaying 10 items.
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations (Q2626580) (← links)
- Report: an examination of a decision procedure (Q3281061) (← links)
- Schemata: The Concept of Schema in the History of Logic (Q3430938) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- Some theorems on definability and decidability (Q5812178) (← links)
- A note on the theory of quantification (Q5814797) (← links)
- An extended procedure in quantificational logic (Q5824353) (← links)
- Simplified foundations for mathematical logic (Q5848181) (← links)