Pages that link to "Item:Q4557165"
From MaRDI portal
The following pages link to MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165):
Displayed 5 items.
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- The Significance of Relativistic Computation for the Philosophy of Mathematics (Q5015969) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)