home | publications ::... 1 | 2 | 3 | 4

G. Sambin, Pretopologies and completeness proofs, J. Symbolic Logic 60 (1995), pp. 861-878.

G. Sambin, Per una dinamica nei fondamenti, in: Atti del Congresso Nuovi problemi della logica e della filosofia della scienza, Viareggio, 8-13 gennaio 1990, vol. II, ed. G. Corsi - G. Sambin, CLUEB, Bologna 1991, pp. 163-210.

G. Boolos - G. Sambin, Provability: the emergence of a mathematical modality, Studia Logica 50 (1991), pp. 1-23.

G. Sambin, Alla ricerca della certezza perduta (forma-contenuto nei fondamenti della matematica), in: Forma Rappresentazione Struttura, Atti del Convegno di Studio, Padova 3-6 dicembre 1986, ed. O. Longo, Laboratorio Servizio Tecnologia, Napoli 1989, pp. 17-35.

G. Sambin - V. Vaccaro, A new proof of Sahlqvist's theorem on modal definability and completeness, J. Symbolic Logic 54 (1989), pp. 992-999.

G. Sambin - V. Vaccaro, Topology and duality in modal logic, Annals of Pure and Applied Logic 37 (1988), pp. 249-296.

G. Sambin, Intuitionistic formal spaces - a first communication, in: Mathematical Logic and its Applications, ed. D. Skordev, Plenum, New York 1987, pp. 187-204.

P. Martin-Löf, Intuitionistic type theory, Notes by G. Sambin of a series of lectures given in Padua, June 1980, Bibliopolis 1984.

Publications, i.e. fruits and... vegs