The following pages link to (Q3290715):
Displaying 9 items.
- Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics (Q1942102) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Quantifiers defined by parametric extensions (Q2410899) (← links)
- Mechanical logic in three-dimensional space (Q2855950) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- (Q3890137) (← links)
- (Q4770509) (← links)
- Einführung in die mathematische Logik und in die Methodologie der Mathematik (Q5769234) (← links)
