Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (LOND)
analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles
03A05 ; 03B48 ; 03Bxx
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 250 p.
ISBN 978-0-521-21644-9
Cambridge paperback library
Localisation : Ouvrage RdC (LAKA)
00A99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 285 p.
ISBN 978-0-521-21769-9
Cambridge paperback library
Localisation : Ouvrage RdC (LAKA)
03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 183 p.
ISBN 978-1-107-11346-6
Cambridge philosophy classics
Localisation : Ouvrage RdC (LAKA)
théorie de la démonstration # philosophie # logique mathématique
03-02 ; 03A05 ; 00A35
... Lire [+]
