m

Documents  Bernays, Paul | enregistrements trouvés : 6

O
     

-A +A

P Q

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

- 226 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (BERN)

aximatique # théorie des ensembles # épistémologie

03E30 ; 03Exx

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

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

- 607 p.
ISBN 978-2-7475-1518-4

Localisation : Ouvrage RdC (HILB)

histoire des mathématiques # logique # fondement des mathématiques # logique # philosophie # récursivité # arithmétique # axiomatique # théorie des nombres # raisonnement # prédicat

01A75 ; 03-03

... Lire [+]

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

- 624 p.
ISBN 978-2-7475-1519-1

Localisation : Ouvrage RdC (HILB)

histoire des mathématiques # logique # fondement des mathématiques # variable # preuve # théorie des nombres # prédicat

01A75 ; 03-03

... Lire [+]

Z