Pages that link to "Item:Q5197381"
From MaRDI portal
The following pages link to Comparing Classical and Relativistic Kinematics in First-Order Logic (Q5197381):
Displaying 6 items.
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics (Q5015981) (← links)
- DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
- On the networks of large embeddings (Q6579991) (← links)