The following pages link to Giovanni Sommaruga (Q1263585):
Displayed 10 items.
- Rosser and Mostowski sentences (Q1263586) (← links)
- History and philosophy of constructive type theory (Q1396584) (← links)
- A note on some extension results (Q1814182) (← links)
- One or Many Concepts of Information? (Q3627416) (← links)
- The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? (Q4637217) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- (Q5260981) (← links)
- Conclusion: A Perspective on Future Research in FOM (Q5260996) (← links)
- Introduction (Q5901921) (← links)
- (Q6109574) (← links)