m

F Nous contacter

0

Documents  Hermes, Hans | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 164 p.

Grundlehren der mathematischen wissenschaften , 0073

Localisation : Collection 1er étage

ordre # structure # structure algébrique # structure logique # théorie des structures

03Cxx ; 03Gxx ; 06Bxx

... Lire [+]

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

Lecture notes in mathematics , 0006

Localisation : Collection 1er étage

complétude du calcul de terme restreint # déducibilité # logique de terme du premier ordre # logique du prédicat du premier odre # opérateur de choix # plongement # preuve de complétude # satisfiabilité # substitution

03Bxx ; 03E25 ; 03Fxx

... Lire [+]

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

- 214 p.
ISBN 978-0-226-26197-3

Localisation : Oeuvres complètes RdC (FREG)

19 ème 20 ème siècle # Anton Marty # Bertrand Russell # Carl Strumpf # David Hilbert # Edmund Husseil # Edward V.Huntington # Giovanni Vailati # Giuseppe Peano # Heinrich Lieblmann # Hergo Dingler # Karl Zsigmondy # L. Eugène Ballue # Louis Couturat # Moritz Pasch # Paul F. Linke # Philip Reinhold Kosselt # Richard Honigswald # correspondance philosophique ou mathématique # Frege # oeuvres complètes

01-XX ; 01A55 ; 01A60 ; 01A70

... Lire [+]

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

- 245 p.

Grundlehren der mathematischen wissenschaften , 0127

Localisation : Collection 1er étage

calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété

03D10 ; 03Dxx ; 68Q05

... Lire [+]

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

- 209 p.

Grundlehren der mathematischen wissenschaften , 0073

Localisation : Collection 1er étage

ordre # structure # structure algébrique # structure logique # théorie des structures

03Cxx ; 03Gxx ; 06Bxx

... Lire [+]

Z