Bienvenue dans la bibliothèque de l'ENSFEA.
Vous pouvez consulter l'ensemble des références bibliographiques du catalogue en interrogeant le moteur de recherche.
Les usagers inscrits, possédant une carte de lecteur, peuvent accéder à leur compte et aux services rattachés : réservations, suivi des prêts, suggestions d'achats.
Adresse
Bibliothèque de l’École Nationale Supérieure de Formation de l'Enseignement Agricole2 route de Narbonne,
31326 Castanet Tolosan
France
05 61 75 34 38
contact
Titre : | Logique mathématique, textes |
Auteurs : | J. LARGEAULT |
Type de document : | texte imprimé |
Editeur : | Paris : A. Colin, 1972 |
Collection : | Collection U |
Sous-collection : | Epistémologie |
Format : | 280 p. / bibliogr. |
Index. décimale : | 51(091) (Approche historique [maths] ) |
Mots-clés: | théorie mathématique ; APPROCHE HISTORIQUE ; HISTOIRE DES SCIENCES |
Résumé : | Les arguments et les méthodes employés sont typiques des sujets traités : histoire et métathéorie du calcul propositionnel, méthodes du contre-exemple et procédures de démonstration, problème de la caractérisation, la complétude de la logique du premier et du second ordre, le programme de Hilbert et les fondements des mathématiques. |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
0003052 | 51(091) LAR | Ouvrage | Salle de consultation | - 5 - Sciences dures | Disponible |