Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(859)
ISBN/ISSN : 3-540-10708-8

logique ; logique algébrique ; mathématique constructive ; modèle ; récurrence

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(753)
ISBN/ISSN : 3-540-09564-0

cohomologie ; espace de Banach ; faisceau ; modèle non classique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Panoramas et synthèses

Cote : M/A31(27)
ISBN/ISSN : 978-2-85629-273-0

démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique des jeux

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : BELL t
ISBN/ISSN : 978-0-486-46286-8

topose ; ensemble ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : LAWVERE s
ISBN/ISSN : 0-521-01060-8

ensemble

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Oxford logic guides

Cote : JOHNSTONE s II
ISBN/ISSN : 0-19-851598-7

topose

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Oxford logic guides

Cote : JOHNSTONE s I
ISBN/ISSN : 0-19-85425-6

topose

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(503)
ISBN/ISSN : 0-8218-2565-8

dualité ; logique ; topose

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Oxford logic guides

Cote : McLARTY e
ISBN/ISSN : 0-19-851473-5

logique ; catégorie ; topose

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Universitext

Cote : MAC LANE s
ISBN/ISSN : 0-387-97710-4

faisceau ; logique algébrique ; préfaisceau ; topologie de Grothendieck ; topose

... Lire [+]

Sélection

Documents 03G30 14 résultats

Logic year 1979-80 Lerman, M. ; Schmerl, J. H. ; Soare, R. I. | Springer 1981 Nouveau

Application of sheaves Fourman, M. P. ; Mulvey, C. J. ; Scott, Dana S. | Springer 1979 Nouveau

Interactive models of computation and program behavior Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André | SMF 2009 Nouveau

Toposes and local set theories : an introduction Bell, J. L. | Dover 2008 Nouveau

Sets for mathematics Lawvere, F. William ; Rosebrugh, Robert | Cambridge university press 2003 Nouveau

Sketches of an elephant : a topos theory compendium, Vol. 2 Johnstone, P. T. | Clarendon 2002 Nouveau

Sketches of an elephant : a topos theory compendium, Vol. 1 Johnstone, P. T. | Clarendon 2002 Nouveau

Duality and definability in first order logic Makkai, Michael | AMS 1993 Nouveau

Elementary categories, elementary toposes McLarty, Colin | Clarendon 1992 Nouveau

Sheaves in geometry and logic : a first introduction to topos theory Mac Lane, Saunders ; Moerdijk, Ieke | Springer 1992 Nouveau