SAMBIN, GIOVANNI

SAMBIN, GIOVANNI  

Mostra records
Risultati 1 - 20 di 64 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Sui filtri di composizione il cui filtro associato è principale (o-filtri I) 1972 SAMBIN, GIOVANNI BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA - -
Aspetti topologici degli o-filtri (o-filtri II) 1973 SAMBIN, GIOVANNI BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA - -
Un'estensione del teorema di Löb 1974 SAMBIN, GIOVANNI RENDICONTI DEL SEMINARIO MATEMATICO DELL'UNIVERSITA' DI PADOVA - -
An effective fixed-point theorem in intuitionistic diagonalizable algebras 1976 SAMBIN, GIOVANNI STUDIA LOGICA - -
Fixed points through the finite model property 1978 SAMBIN, GIOVANNI STUDIA LOGICA - -
A modal sequent calculus for a fragment of arithmetic 1980 SAMBIN, GIOVANNIVALENTINI, SILVIO STUDIA LOGICA - -
Post completeness and free algebras 1980 SAMBIN, GIOVANNIVALENTINI, SILVIO ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK - -
The modal logic of provability. The sequential approach 1982 SAMBIN, GIOVANNIVALENTINI, SILVIO JOURNAL OF PHILOSOPHICAL LOGIC - -
An incomplete system of modal logic 1985 SAMBIN, GIOVANNI + JOURNAL OF PHILOSOPHICAL LOGIC - -
Intuitionistic formal spaces - a first communication 1987 SAMBIN, GIOVANNI - - Mathematical Logic and its Applications
Topology and duality in modal logic 1988 SAMBIN, GIOVANNI + ANNALS OF PURE AND APPLIED LOGIC - -
Intuitionistic formal spaces vs. Scott domains 1988 SAMBIN, GIOVANNI - - Temi e prospettive della logica e della filosofia della scienza contemporanee
Intuitionistic formal spaces and their neighbourhood 1989 SAMBIN, GIOVANNI - - Logic Colloquium '88
A new proof of Sahlqvist's theorem on modal definability and completeness 1989 SAMBIN, GIOVANNI + THE JOURNAL OF SYMBOLIC LOGIC - -
Provability: the emergence of a mathematical modality 1991 SAMBIN, GIOVANNI + STUDIA LOGICA - -
Per una dinamica nei fondamenti (italian) 1991 SAMBIN, GIOVANNI - - Nuovi problemi della logica e della filosofia della scienza, vol.II
Pretopologies and completeness proofs 1995 SAMBIN, GIOVANNI THE JOURNAL OF SYMBOLIC LOGIC - -
A new and elementary method to represent every complete boolean algebra. 1996 SAMBIN, GIOVANNI - - Logic and Algebra
The semantics of pretopologies 1996 SAMBIN, GIOVANNI - - Substructural logics
Constructive domain theory as a branch of intuitionistic pointfree topology 1996 SAMBIN, GIOVANNIVALENTINI, SILVIO + THEORETICAL COMPUTER SCIENCE - -