m

Documents  03B30 | enregistrements trouvés : 36

O

-A +A

P Q

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.

- 273 p.
ISBN 978-0-442-23109-5

Localisation : Ouvrage RdC (WANG)

logique mathématiques # logique symbolique

03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX

... Lire [+]

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.

- 493 p.
ISBN 978-90-277-1542-5

Synthese library , 0164

Localisation : Ouvrage RdC (Hand)

logique classique

03-XX ; 03B05 ; 03B30 ; 03B48

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

Z