Pages that link to "Item:Q4557165"
From MaRDI portal
The following pages link to MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165):
Displaying 7 items.
- Mathematical theory of truth-valued flow inference (Q1914513) (← links)
- Inductive Inference and Reverse Mathematics (Q2955013) (← links)
- 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)