Pages that link to "Item:Q792991"
From MaRDI portal
The following pages link to Handbook of philosophical logic. Vol. I: Elements of classical logic (Q792991):
Displaying 8 items.
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- Experimenting with Isabelle in ZF set theory (Q1312157) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← links)
- THE QUANTIFIED ARGUMENT CALCULUS (Q2940869) (← links)
- A relational formulation of the theory of types (Q3824291) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- A computational procedure for variable selection preserving different initial conditions (Q5030589) (← links)
- Unifying Reducts in Formal Concept Analysis and Rough Set Theory (Q5215755) (← links)