Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 263 p.
ISBN 978-4-902578-04-1
Localisation : Colloque 1er étage (TOKY)
philosophie # sémantique # logique intuitionniste
03AXX ; 00A30 ; 03A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 439 p.
ISBN 978-0-19-537222-9
Localisation : Ouvrage RdC (SIEG)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 270 p.
ISBN 978-2-251-76075-9
Figures du savoir , 0053
Localisation : Biographie RdC (CAVA)
Jean Cavaillès # biographie # philosophie # concept de rationalité # logique mathématique # théorie de la science
00A30 ; 01A60 ; 03A10 ; 97E20 ; 97E30
... Lire [+]