Pages that link to "Item:Q5747346"
From MaRDI portal
Displaying 9 items.
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- H for Hilbert. \dots and M for mathematics (Q2304770) (← links)
- Searches for the origins of the epistemological concept of model in mathematics (Q2357601) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Informal proof, formal proof, formalism (Q2804472) (← links)
- M (Q3295836) (← links)
- (Q4784090) (← links)
- Between Russell and Hilbert: Behmann on the Foundations of Mathematics (Q4940734) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)