Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 263 p.
Cote : 00038954
philosophie # sémantique # logique intuitionniste
03AXX ; 00A30 ; 03A10
Localisation : Colloque 1er étage (TOKY)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xii; 439 p.
Cote : 00038677
histoire des mathématiques # philosophie des mathématiques # théorie de la démonstration # structure mathématique # réductionnisme # finitisme # métamathématique # imperfection # déduction naturelle
01-06 ; 00A30 ; 00B60 ; 01A55 ; 01A60 ; 01A61 ; 01A70 ; 03-03 ; 03A05 ; 03A10 ; 03F03
Localisation : Ouvrage RdC (SIEG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 270 p.
Cote : 00039474
Jean Cavaillès # biographie # philosophie # concept de rationalité # logique mathématique # théorie de la science
00A30 ; 01A60 ; 03A10 ; 97E20 ; 97E30
Localisation : Biographie RdC (CAVA)