BORGA, MARCO
BORGA, MARCO
170011 - UNIVERSITA' DEGLI STUDI DI GENOVA
"Alcuni risultati di teoria della dimostrazione"
1978-01-01 Borga, Marco
"Alle origini delle ricerche metamatematiche: indipendenza e coerenza fra Ottocento e Novecento"
2005-01-01 Borga, Marco
"Dal certo verso l'incerto in matematica?"
1989-01-01 Borga, Marco
"I fondamenti della matematica"
1987-01-01 Borga, Marco
"Il linguaggio logico: qualche spunto didattico"
2000-01-01 Borga, Marco
"Il problema dei fondamenti della matematica nella scuola di Peano"
1983-01-01 Borga, Marco; Freguglia, P.; Palladino, D.
"Il problema dell'indipendenza dei simboli primitivi di una teoria assiomatica"
1977-01-01 Borga, Marco
"La critica dei fondamenti della matematica"
1983-01-01 Borga, Marco
"Logic and Foundations of Mathematics in Peano's School"
1992-01-01 Borga, Marco; Palladino, D.
"Mario Pieri e i fondamenti della geometria: Pieri e Hilbert"
1997-01-01 Borga, Marco
"On a Preliminary Reduction Step in Gentzen's Second Consistency Proof"
1976-01-01 Borga, Marco
"On Some Proof Theoretical Properties of the Modal Logic GL"
1983-01-01 Borga, Marco
"On the Proof Theory of the Modal Logic Grz"
1986-01-01 Borga, Marco; Gentilini, P.
"Ricordo di Alessandro Padoa (1868-1937)"
2008-01-01 Borga, Marco; Fenaroli, Giuseppina; A. C., Garibaldi
"Su alcune proprietà della separazione nel piano ellittico e proiettivo"
1981-01-01 Borga, Marco
"Su alcuni contributi di Alessandro Padoa e Mario Pieri ai fondamenti della geometria"
2011-01-01 Borga, Marco
"Sulla concezione degli assiomi come definizioni implicite"
1981-01-01 Borga, Marco
"Sulla consistenza delle teorie matematiche: Hilbert e la scuola di Peano a confronto"
1992-01-01 Borga, Marco
"Un inedito di Alessandro Padoa"
2009-01-01 Borga, Marco; Fenaroli, Giuseppina; A. C., Garibaldi
"Una grande varietà di modi di definire"
2000-01-01 Borga, Marco