Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Classical Mathematical Logic: The Semantic Foundations of Logic
Contenu du livre :
Dans Classical Mathematical Logic, Richard L. Epstein établit un lien entre les systèmes de logique mathématique et leurs motivations initiales, à savoir formaliser le raisonnement en mathématiques. Le livre montre également comment la logique mathématique peut être utilisée pour formaliser des systèmes mathématiques particuliers. Il présente la formalisation non seulement de l'arithmétique, mais aussi de la théorie des groupes, de la théorie des champs et des ordonnancements linéaires. Cela conduit à la formalisation des nombres réels et de la géométrie du plan euclidien. La portée et les limites de la logique moderne apparaissent clairement dans ces formalisations.
Le livre fournit des explications détaillées de toutes les preuves et des idées qui les sous-tendent, ainsi que des exemples et des problèmes détaillés et non triviaux. Le livre contient plus de 550 exercices. Il peut être utilisé dans le cadre de cours avancés de premier ou de deuxième cycle, ainsi qu'à des fins d'auto-apprentissage et de référence.
La Logique mathématique classique présente un traitement unifié du matériel qui, jusqu'à présent, n'était disponible qu'en consultant de nombreux livres et articles de recherche différents, écrits avec divers systèmes de notation et axiomatisations.
Autres informations sur le livre :
| ISBN : | 9780691123004 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2006 |
| Nombre de pages : | 544 |
Achat:
Actuellement disponible, en stock.
