m

F Nous contacter

0

Documents  03B20 | enregistrements trouvés : 12

O
     

-A +A

P Q

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.

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... 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.

- 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.

- 143 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ANDR)

logique mathématique

03B20 ; 03B25 ; 03B65 ; 03Cxx ; 03Dxx

... 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.

- 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.

- 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.

- 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 [+]

Z