Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 440 p.
ISBN 978-0-7204-2235-1
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (JERU)
03A05 ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87999-8
Studies in logic and the foundations of mathematics , 0120
Localisation : Colloque 1er étage (MANC)
axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles
03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 84 p.
ISBN 978-0-8405-0080-9
SMS(Séminaire de Mathématiques Supérieures) , 0020
Localisation : Salle de manutention
algèbre logique # axiomatisabilité finie # extension et restriction logiques # formule logique # homogénéité logique # interprétabilité libre # isomorphisme local # multirelation # opérateur libre # prédicat # quanteur # relation homogène # relation monomorphe # relation riche # théorie des relations # âge
03B30 ; 03Gxx ; 04A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 235 p.
Mathematical research = mathematische forschung , 0003
Localisation : Ouvrage RdC (Deci)
03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 120 p.
ISBN 978-90-6196-147-5
Mathematical centre tracts , 0083
Localisation : Collection 1er étage
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05
... 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.
- 318 p.
ISBN 978-0-8218-1041-5
American mathematical society colloquium publications , 0041
Localisation : Collection 1er étage
logique # logique mathématique # logique symbolique # théorie d'ensembles
03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15
... 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.
- 241 p.
Collection de logique mathématique séries a , 0001
Localisation : Ouvrage RdC (BETH)
aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote
01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 241 p.
Collection de logique mathématique séries a , 0001
Localisation : Ouvrage RdC (BETH)
aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote
01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 741 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (BETH)
axiomatique # fonction recursive # fondement des mathématiques # logique # théorie des ensembles # épistémologie
03-03 ; 03A05 ; 03B30 ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 399 p.
Localisation : Ouvrage RdC (BOLZ)
argument # fondement et axiomatique # heuristique # idée # jugement # logique générale # logique mathématique # proposition # vérité
03A05 ; 03B30 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Actualité scientifiques et industrielles , 1212
Localisation : Réserve
correspondance # couple # intersection d'ensemble # mathématique formelle # produit d'une famille # relation # relation collectivi sante # relation d'équivalence # réunion # terme # th éorie quantifiée # théorie des ensembles # théorie logique # théorie égalitaire # théorème
03B30 ; 03Exx ; 04-XX ; 04A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 82 p.
Actualités scientifiques et industrielles , 0608
Localisation : Ouvrage RdC (CAVA)
axiomatisation # fondement des mathématiques # formalisation # théorie des ensembles
03-03 ; 03B30 ; 51-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 76 p.
Actualité scientifiques et industrielles , 0614
Localisation : Ouvrage RdC (DIEN)
logique algébrique # logique symbolique # épistémologie
00A30 ; 03-05 ; 03B30 ; 03Gxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 407 p.
ISBN 978-0-19-503964-1
Collected works , 0002
Localisation : Oeuvres complètes RdC (GODE)
Godel # axiome # finitude # fondement des mathématiques # hypothèse du continu # logique mathématique # oeuvres complètes # philosophie des mathématiques # épistémologie
00A30 ; 00A35 ; 03A05 ; 03B30 ; 03E50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 188 p.
Grundlehren der mathematischen wissenschaften , 0027
Localisation : Collection 1er étage
calcul des prédicats # calcul logique de classe # fondement de la logique
03-03 ; 03B30 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 473 p.
Grundlehren der mathematischen wissenschaften , 0040
Localisation : Collection 1er étage;Réserve
addition # calcul des prédicats # fondement des mathématiques # induction # logique axiomatique # logique formelle # multiplication # représ entation formelle # récursivité # soustraction # système axiomatique # théorie de la récursion # théorie des nombres
03-03 ; 03B30 ; 03Bxx ; 11-03 ; 11-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 561 p.
Grundlehren der mathematischen wissenschaften
Localisation : Collection 1er étage
arithmétique # calcul des prédicats # fondement des mathématiques # logique formelle # logique mathématique # logique symbolique
03-XX ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Die grundleren der mathematischen wissenschaften , 0050
Localisation : Réserve
arithmétique # calcul des prédicats # fondement des mathématiques # logique formelle # logique mathématique # logique symbolique
03-XX ; 03B30
... Lire [+]
