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

G. Pretto - G. Sambin, Mistica come etica della filosofia della matematica di L. E. J. Brouwer, in: Atti del Convegno Internazionale di Storia della Logica, 4-8 dicembre 1982, CLUEB, Bologna 1983, pp. 359-362.

G. Sambin - S. Valentini, The modal logic of provability. The sequential approach, J. Philos. Logic 11 (1982), pp. 311-342.

G. Sambin - S. Valentini, Post completeness and free algebras, Zeitsch. f. Math. Logik u. Grundl. d. Math. 26 (1980), pp. 343-347.

G. Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica 35 (1976), pp. 345-361.

G. Sambin, Un'estensione del teorema di Löb, Rend. Sem. Mat. Univ. Padova 52 (1974), pp. 193-199.

G. Sambin, Sui filtri di composizione il cui filtro associato è principale (o-filtri I), Boll. Un. Mat. Ital. (4) 6 (1972), pp. 432-439 and: Aspetti topologici degli o-filtri (o-filtri II), same journal, 8 (1973), pp. 217-229.

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