The following pages link to (Q5747346):
Displaying 5 items.
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Searches for the origins of the epistemological concept of model in mathematics (Q2357601) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- M (Q3295836) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
