Una esposizione critica dei suoi contributi nella filosofia della matematica, della logica e dell'informatica.
A seguire: te' e discussione.
Link identifier #identifier__144059-1Link identifier #identifier__22671-2Link identifier #identifier__155248-3Link identifier #identifier__164977-4