skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995. Oxford Logic Guides
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995. Oxford Logic Guides
Material Type:
Livre
Ajouter à Mon espace

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995. Oxford Logic Guides

Giovanni Sambin ; Jan M Smith

Oxford University Press

Accessible en ligne

2
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Material Type:
Livre
Ajouter à Mon espace

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995

Sambin, Giovanni. ; Smith, Jan M.

Oxford New York : Clarendon Press Oxford University Press, 1998

Accessible en ligne

3
Material Type:
Livre
Ajouter à Mon espace

Atti del Congresso "Nuovi problemi della logica e della filosofia della scienza" organizzato dalla Società italiana di logica e filosofia delle scienze (SILFS), Viareggio, 8-13 gennaio 1990. 2. Logica

Congresso "Nuovi problemi della logica e della filosofia della scienza" 1990 Viareggio ; Corsi, Giovanna ; Sambin, Giovanni ; Dalla Chiara, Maria Luisa

Bologna : Cooperativa Libraria Universitaria Editrice Bologna, 1991

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

Temi e prospettive della logica e della filosofia della scienza contemporanee : atti del Congresso

Congresso "Temi e Prospettive della Logica e della Filosofia della Scienza Contemporanee" 1987 Cesena ; Pasquinelli, Alberto ; Cellucci, Carlo (1940-....) ; Sambin, Giovanni ; Dalla Chiara, Maria Luisa ; Galavotti, Maria Carla

Bologna : Cooperativa Libraria Universitaria Editrice Bologna, 1988

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Temi e prospettive della logica e della filosofia della scienza contemporanee : atti del Congresso. 1. Logica

Congresso "Temi e Prospettive della Logica e della Filosofia della Scienza Contemporanee" 1987 Cesena ; Pasquinelli, Alberto ; Cellucci, Carlo (1940-....) ; Sambin, Giovanni ; Dalla Chiara, Maria Luisa ; Galavotti, Maria Carla

Bologna : Cooperativa Libraria Universitaria Editrice Bologna, 1988

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

Temi e prospettive della logica e della filosofia della scienza contemporanee : atti del Congresso. 2. Filosofia della scienza e fondamenti della probabilità e della statistica

Congresso "Temi e Prospettive della Logica e della Filosofia della Scienza Contemporanee" 1987 Cesena ; Pasquinelli, Alberto ; Cellucci, Carlo (1940-....) ; Sambin, Giovanni ; Dalla Chiara, Maria Luisa ; Galavotti, Maria Carla

Bologna : Cooperativa Libraria Universitaria Editrice Bologna, 1988

Voir les exemplaires

7
Material Type:
Article
Ajouter à Mon espace

A CONSTRUCTIVE GALOIS CONNECTION BETWEEN CLOSURE AND INTERIOR

Ciraulo, Francesco ; Sambin, Giovanni

The Journal of Symbolic Logic, 1 December 2012, Vol.77(4), pp.1308-1324 [Revue évaluée par les pairs]

Texte intégral disponible

8
Material Type:
Article
Ajouter à Mon espace

Formal Topology and Domains

Sambin, Giovanni

Electronic Notes in Theoretical Computer Science, 2000, Vol.35, pp.177-190 [Revue évaluée par les pairs]

Texte intégral disponible

9
Material Type:
Article
Ajouter à Mon espace

Pretopologies and Completeness Proofs

Sambin, Giovanni

The Journal of Symbolic Logic, 1 September 1995, Vol.60(3), pp.861-878 [Revue évaluée par les pairs]

Texte intégral disponible

10
Material Type:
Article
Ajouter à Mon espace

Subdirectly Irreducible Modal Algebras and Initial Frames

Sambin, Giovanni

Studia Logica: An International Journal for Symbolic Logic, 1 March 1999, Vol.62(2), pp.269-282 [Revue évaluée par les pairs]

Texte intégral disponible

11
Material Type:
Article
Ajouter à Mon espace

Constructive domain theory as a branch of intuitionistic pointfree topology

Sambin, Giovanni ; Valentini, Silvio ; Virgili, Paolo

Theoretical Computer Science, 1996, Vol.159(2), pp.319-341 [Revue évaluée par les pairs]

Texte intégral disponible

Voir toutes les versions
12
Material Type:
Article
Ajouter à Mon espace

Provability: The Emergence of a Mathematical Modality

Boolos, George ; Sambin, Giovanni

Studia Logica: An International Journal for Symbolic Logic, 1 March 1991, Vol.50(1), pp.1-23 [Revue évaluée par les pairs]

Texte intégral disponible

13
Material Type:
Article
Ajouter à Mon espace

Basic Logic: Reflection, Symmetry, Visibility

Sambin, Giovanni ; Battilotti, Giulia ; Faggian, Claudia

The Journal of Symbolic Logic, 1 September 2000, Vol.65(3), pp.979-1013 [Revue évaluée par les pairs]

Texte intégral disponible

14
Material Type:
Article
Ajouter à Mon espace

The Modal Logic of Provability. The Sequential Approach

Sambin, Giovanni ; Valentini, Silvio

Journal of Philosophical Logic, 1 August 1982, Vol.11(3), pp.311-342 [Revue évaluée par les pairs]

Texte intégral disponible

Voir toutes les versions
15
Material Type:
Article
Ajouter à Mon espace

An Incomplete System of Modal Logic

Boolos, George ; Sambin, Giovanni

Journal of Philosophical Logic, 1 November 1985, Vol.14(4), pp.351-358 [Revue évaluée par les pairs]

Texte intégral disponible

Voir toutes les versions
16
Material Type:
Article
Ajouter à Mon espace

Fixed Points through the Finite Model Property (The Algebraization of the Theories Which Express Theor; XI)

Sambin, Giovanni

Studia Logica: An International Journal for Symbolic Logic, 1 January 1978, Vol.37(3), pp.287-289 [Revue évaluée par les pairs]

Texte intégral disponible

17
Material Type:
Article
Ajouter à Mon espace

Formal Topologies on the Set of First-Order Formulae

Coquand, Thierry ; Sadocco, Sara ; Sambin, Giovanni ; Smith, Jan M.

The Journal of Symbolic Logic, 1 September 2000, Vol.65(3), pp.1183-1192 [Revue évaluée par les pairs]

Texte intégral disponible

18
Material Type:
Article
Ajouter à Mon espace

An Effective Fixed-Point Theorem in Intuitionistic Diagonalizable Algebras (The Algebraization of the Theories Which Express Theor, IX)

Sambin, Giovanni

Studia Logica: An International Journal for Symbolic Logic, 1 January 1976, Vol.35(4), pp.345-361 [Revue évaluée par les pairs]

Texte intégral disponible

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Articles  (12)
  2. Livres  (6)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1982  (2)
  2. 1982 à 1987  (2)
  3. 1988 à 1994  (5)
  4. 1995 à 1998  (3)
  5. Après 1998  (9)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré