Una esposizione critica dei suoi contributi nella filosofia della matematica, della logica e dell'informatica.
A seguire: te' e discussione.
Link identifier #identifier__162735-1Link identifier #identifier__182029-2Link identifier #identifier__187722-3Link identifier #identifier__92168-4 This post is also available in:
Link identifier #identifier__27713-5Eng