Pages that link to "Item:Q4328795"
From MaRDI portal
The following pages link to Second-Order Logic and Foundations of Mathematics (Q4328795):
Displayed 5 items.
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Can logic be combined with probability? Probably (Q2390653) (← links)
- Twin paradox and the logical foundation of relativity theory (Q2505242) (← links)