Titre :	Logic and structure
Type de document :	texte imprimé
Auteurs :	Dirk van Dalen (1932-....), Auteur
Mention d'édition :	4e éd.
Editeur :	Berlin : Springer
Année de publication :	2004
Collection :	Universitext
Importance :	1 vol. (263 p.)
Format :	24 cm
ISBN/ISSN/EAN :	978-3-540-20879-2
Catégories :	Mathématique
Mots-clés :	Logique mathématique
Index. décimale :	511.3 Logique mathématique
Résumé :	Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacré
Note de contenu :	Sommaire Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation Goedel's Theorem Bibliography Index
Côte titre :	Fs/2699-2700

Logic and structure [texte imprimé] / Dirk van Dalen (1932-....), Auteur  . -  4e éd. . - Berlin : Springer, 2004 . - 1 vol. (263 p.) ; 24 cm. - (Universitext) .
ISBN : 978-3-540-20879-2

Catégories :	Mathématique
Mots-clés :	Logique mathématique
Index. décimale :	511.3 Logique mathématique
Résumé :	Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacré
Note de contenu :	Sommaire Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation Goedel's Theorem Bibliography Index
Côte titre :	Fs/2699-2700