The following pages link to (Q5540431):
Displaying 5 items.
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Deductive foundation and analytic propositions (Q1211485) (← links)
- Rudolf Carnap–The Grandfather of Artificial Neural Networks: The Influence of Carnap’s Philosophy on Walter Pitts (Q3296983) (← links)
- Metalogic, Schopenhauer and Universal Logic (Q5118392) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)