Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 162 p.
ISBN 978-3-540-52734-3
Lecture notes in mathematics , 1429
Localisation : Collection 1er étage
informatique # logique # théorie de la recursion
03B20 ; 03B40 ; 03B70 ; 03D15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 122 p.
Annals of mathematics studies , 0005
Localisation : Ouvrage RdC (POST)
dérivation de système clos # logique mathématique # sous système de la logique classique # système itératif
03B20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 486 p.
ISBN 978-0-444-85207-6
Studies in logic and the foundations of mathematics , 0098
Localisation : Ouvrage RdC (GOLD)
algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme
03B20 ; 03C90 ; 03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 382 p.
ISBN 978-0-7923-1512-4
Nijhoff international philosophy series , 0044
Localisation : Oeuvres complètes RdC (LESN)
Lesniewski # epistémologie # fondement des mathématiques # groupe abelien # histoire de la logique # logique # logique des propositions # logique mathématique # logique symbolique # oeuvres complètes # preuve # principe ontologique # théorie de la déduction # théorie des ensembles
01A75 ; 03A05 ; 03B05 ; 03B20 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- Pp. 383-794
ISBN 978-0-7923-1512-4
Nijhoff international philosophy series , 0044
Localisation : Oeuvres complètes RdC (LESN)
Lesniewski # epistémologie # fondement des mathématiques # groupe abelien # histoire de la logique # logique # logique des propositions # logique mathématique # logique symbolique # oeuvres complètes # preuve # principe ontologique # théorie de la déduction # théorie des ensembles
01A75 ; 03A05 ; 03B05 ; 03B20 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 206 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (KLEE)
analyse intuitive # continuum intuitif # logique # logique formelle # ordre de continu # postulat # réalisabilité # système formel
03A50 ; 03B20 ; 03Bxx ; 04A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 170 p.
ISBN 978-0-19-853163-0
Oxford logic guide
Localisation : Ouvrage RdC (TROE)
logique des prédicats # mathématique intuitioniste # opération logique # suite du choix
03B10 ; 03B20 ; 03F55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 420 p.
ISBN 978-0-387-23759-6
Monographs in computer science
Localisation : Ouvrage RdC (POER)
aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème
03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxxii; 613 p.
ISBN 978-0-521-67026-5
Cambridge introductions to philosophy
Localisation : Ouvrage RdC (PRIE)
logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire
03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 263 p.
ISBN 978-1-4471-4557-8
Universitext
Localisation : Ouvrage RdC (VAND)
logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit
03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20
... Lire [+]
