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