logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Avvisi

  • Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30.  Le richieste verranno processate regolarmente da lunedì 24 Agosto.

Cerca per relatore della tesi

Risultati da 1 a 12 di 15
Titolo Corso di studi Anno di discussione Relatore
The Theory of Types: an historical overview FILOSOFIA E FORME DEL SAPERE 2022
William of Ockham's rejection of indivisibles in continuum FILOSOFIA E FORME DEL SAPERE 2021
Rationality and Incoherence: a bounded perspective FILOSOFIA E FORME DEL SAPERE 2021
Framing beliefs into fractional semantics for classical logic FILOSOFIA E FORME DEL SAPERE 2021
On second-order logic from an algorithmic viewpoint FILOSOFIA E FORME DEL SAPERE 2020
On the possibility and limitations of measuring degrees of difficulty, complexity and feasibility of mathematical problems FILOSOFIA E FORME DEL SAPERE 2020
Il pluralismo logico nelle prospettive realista e antirealista FILOSOFIA E FORME DEL SAPERE 2016
Applicazioni di analisi ordinale: il teorema di Kruskal. FILOSOFIA E FORME DEL SAPERE 2015
Se possibile allora necessario. Leibniz e Godel sull'argomento ontologico. FILOSOFIA E FORME DEL SAPERE 2015
Imre Toth e i nuovi spazi epistemici delle geometrie non euclidee FILOSOFIA E FORME DEL SAPERE 2015
Per una caratterizzazione formale della conoscenza di individui concreti. Un'analisi del problema di onniscienza logica FILOSOFIA E FORME DEL SAPERE 2014
Per una caratterizzazione della logica del prim'ordine: un'esposizione del Teorema di Lindström FILOSOFIA E FORME DEL SAPERE 2014

Nuova ricerca