The following pages link to Luca Bellotti (Q882844):
Displaying 8 items.
- Formalization, syntax and the standard model of arithmetic (Q882845) (← links)
- Tarski on logical notions (Q1405848) (← links)
- Putnam and constructibility (Q2574846) (← links)
- (Q3512156) (← links)
- Novikov's cut elimination (Q5197386) (← links)
- Decoding Gentzen's Notation (Q5208100) (← links)
- (Q5293403) (← links)
- VON NEUMANN’S CONSISTENCY PROOF (Q5737949) (← links)