The following pages link to (Q3344170):
Displaying 13 items.
- The logical structure of Spinoza's Ethics, part I (Q1257004) (← links)
- The Euler-Poincaré equations and semidirect products with applications to continuum theories (Q1269471) (← links)
- The logic of instance ontology (Q1283324) (← links)
- Analysis of billiard ball computation using phase space logics (Q1586914) (← links)
- Three-valued derived logics for classical phase spaces (Q1910876) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Force cancellation (Q2052198) (← links)
- Gruneisen function of alkali metals (Q2096058) (← links)
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic (Q2108581) (← links)
- The Church-Turing thesis: Still valid after all these years? (Q2497878) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- A brief history of negation (Q2638193) (← links)
- MFC: an open-source high-order multi-component, multi-phase, and multi-scale compressible flow solver (Q6156523) (← links)