Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Sambin, Giovanni - Dipartimento di Matematica Pura e Applicata, Università degli Studi di Padova
Compito di logica 28 giugno 2007 SOLUZIONI Es. 1. Fornire una derivazione in LJ dei sequenti
Per una dinamica nei fondamenti
Review on Steps toward a dynamic costrucivism by John L. Bell
Compito di logica 26 luglio 2007 SOLUZIONI Es. 1. Fornire una derivazione in LJ dei sequenti
Subdirectly irreducible modal algebras and initial frames
CONSTRUCTIVE DOMAIN THEORY AS A BRANCH OF INTUITIONISTIC POINTFREE TOPOLOGY
Formal topology and domains Giovanni Sambin
Basic logic: reflection, symmetry, visibility.
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
Building up a toolbox for Martin-Lof's type theory: subset theory
A preview of the basic picture Giovanni Sambin -Silvia Gebellato
Pretopologies and completeness proofs Giovanni Sambin
