Logic and Structure
Dirk van Dalen - Collection Universitext
Résumé
From the reviews:
"A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred."
Acta Scientiarum Mathematicarum, Hungary
Written for:
Students of mathematics, mathematical logic, theoretical computer scientists and teachers
Sommaire
- Introduction
- Propositional Logic
- Predicate Logic
- Completeness and Applications
- Second Order Logic
- Intuitionistic Logic
- Normalisation
- Goedel's Theorem
- Bibliography
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Dirk van Dalen |
| Collection | Universitext |
| Parution | 06/04/2004 |
| Édition | 4eme édition |
| Nb. de pages | 266 |
| Format | 15,5 X 23,5 |
| Couverture | Broché |
| Poids | 425g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540208792 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
