The following pages link to (Q4789458):
Displaying 6 items.
- Axiomatization and models of scientific theories (Q429827) (← links)
- Exhibiting interpretational and representational validity (Q484954) (← links)
- Socratic proofs (Q1876085) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Comments on the Papers (Q5020174) (← links)
- Basic predicate calculus (Q5937805) (← links)