GEOTRUST SSL CERTIFICATE
| Titre : | Introduction à la logique |
| Auteurs : | Jean Leroux, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Diderot, 1998 |
| Collection : | Bibliothèque des sciences |
| ISBN/ISSN/EAN : | 978-2-84352-084-6 |
| Format : | 344 p. / 24 x 17 cm |
| Accompagnement : | 1 disquette HD Mac ou PC |
| Langues: | Français |
| Index. décimale : | 160 |
| Mots-clés: | logique ; logique symbolique et mathématique |
| Résumé : |
Constitue le cours de base des étudiants en sciences et en philosophie. La présentation de la logique formelle dans son contexte historique est accompagnée d'un exposé très clair des notions syntaxiques et sémantiques nécessaires au calcul des énoncés et calcul des prédicats du premier ordre... |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
