Importante Simposio internazionale sui teoremi di Gödel a sessanta anni dalla pubblicazione della celebre memoria Uber formal unentscheidbare Satze der Principia Mathematica und verwander Systeme I / Francesco Ferrante
Vai al contenuto principale della pagina