Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 322 p.
Cote : 00018662
axiomatique et procédure constructive # connaissance mathématique # ensemble # fonction # fondement de l'analyse contemporaine # fondement des mathématiques # la pensée mathématique # le continu # philosophie des mathématiques # physique mathématique # symbolisme # épistémologie des mathématiques
00A30 ; 03A05
Localisation : Ouvrage RdC (WEYL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 412 p.
Cote : 00027399
logique # calcul propositionnel # calcul de prédicat # théorie des modèles # théorie de la démonstration # décidabilité # calculabilité # fondement des mathématiques # machine de Turing # théorème de Church # théorème de Gödel # théorème de Gentzen # théorème d'Herbrand # interpolation de Craig # théorème de complétude de Gödel # théorème de Löwenheim-Skolem
03-01
Localisation : Ouvrage RdC (KLEE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 486 p.
Cote : 00002023
langage # logique # philosophie # réduction de l'arithmétique # syllogisme de Frege
01A55 ; 03A05
Localisation : Ouvrage RdC (LARG)