SAMBIN, GIOVANNI

SAMBIN, GIOVANNI  

Mostra records
Risultati 1 - 20 di 64 (tempo di esecuzione: 0.045 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A constructive Galois connection between closure and interior 2012 CIRAULO, FRANCESCOSAMBIN, GIOVANNI THE JOURNAL OF SYMBOLIC LOGIC - -
A minimalist foundation at work 2011 SAMBIN, GIOVANNI - - Logic, Mathematics, Philosophy, Vintage Enthusiasms. Essays in Honour of John L. Bell
A modal sequent calculus for a fragment of arithmetic 1980 SAMBIN, GIOVANNIVALENTINI, SILVIO STUDIA LOGICA - -
A new and elementary method to represent every complete boolean algebra. 1996 SAMBIN, GIOVANNI - - Logic and Algebra
A new proof of Sahlqvist's theorem on modal definability and completeness 1989 SAMBIN, GIOVANNI + THE JOURNAL OF SYMBOLIC LOGIC - -
A preview of the basic picture: a new perspective in formal topology 1999 SAMBIN, GIOVANNI + LECTURE NOTES IN COMPUTER SCIENCE - -
An effective fixed-point theorem in intuitionistic diagonalizable algebras 1976 SAMBIN, GIOVANNI STUDIA LOGICA - -
An incomplete system of modal logic 1985 SAMBIN, GIOVANNI + JOURNAL OF PHILOSOPHICAL LOGIC - -
Aspetti topologici degli o-filtri (o-filtri II) 1973 SAMBIN, GIOVANNI BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA - -
Basic logic and the cube of its extensions. 1999 SAMBIN, GIOVANNI + - - Logic and Foundations of Mathematics
Basic logic: reflection, symmetry, visibility 2000 SAMBIN, GIOVANNIBATTILOTTI, GIULIA + THE JOURNAL OF SYMBOLIC LOGIC - -
Building up a toolbox for Martin-Loef's type theory: subset theory 1998 SAMBIN, GIOVANNIVALENTINI, SILVIO - - Twenty-five years of constructive type theory
C for Constructivism. Beyond clichés 2017 Sambin, Giovanni LETTERA MATEMATICA - -
Constructive domain theory as a branch of intuitionistic pointfree topology 1996 SAMBIN, GIOVANNIVALENTINI, SILVIO + THEORETICAL COMPUTER SCIENCE - -
Convergence in formal topology: a unifying notion 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIASAMBIN, GIOVANNI JOURNAL OF LOGIC AND ANALYSIS - -
Costruttivismo, oltre i luoghi comuni 2017 SAMBIN, GIOVANNI LETTERA MATEMATICA PRISTEM - -
Doing without Turing machines: constructivism and formal topology 2007 SAMBIN, GIOVANNI LECTURE NOTES IN COMPUTER SCIENCE - Computation and Logic in the real world
Dynamics in foundations: what does it mean in the practice of mathematics? 2019 giovanni sambin - SYNTHÈSE LIBRARY Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts.
Editorial: Special issue on non-classical mathematics 2013 SAMBIN, GIOVANNI + LOGIC JOURNAL OF THE IGPL - -
Embedding locales and formal topologies into positive topologies 2018 Ciraulo, FrancescoSambin, Giovanni ARCHIVE FOR MATHEMATICAL LOGIC - -