| Titre : | Introduction to mathematical logic |
| Auteurs : | Alice Phillips, Auteur |
| Type de document : | document électronique |
| Editeur : | Toronto (Canada) : Bibliotex, 2025 |
| ISBN/ISSN/EAN : | 978-1-984698-06-3 |
| Format : | 1 vol. (306 p.) / ill. en coul.;couv. ill. en coul. |
| Langues: | Français |
| Index. décimale : | 511.3 (Logique mathématique ) |
| Catégories : | |
| Mots-clés: | Mathematical Logic (Introduction to) |
| Résumé : |
• Examines the principles and concepts of mathematical logic, including formal systems, proofs, and logical reasoning. • Discusses the application of logic in mathematical theory and computer science. • Highlights the role of mathematical logic in developing rigorous and coherent arguments. |
| Note de contenu : |
Table of contents: - Chapter 1: Foundations of Mathematical Logic. - Chapter 2: Propositional Logic. - Chapter 3: Predicate Logic (First-Order Logic). - Chapter 4: Formal Proof Techniques. - Chapter 5: Set Theory. - Chapter 6: Model Theory. - Chapter 7 : Computability and Logic. - Chapter 8 : Non-Classical Logics. |
| Côte titre : |
EB/151 |
| En ligne : | https://cloud.univ-setif.dz/index.php/s/mxt5cGsPCWkK7n3 |
Exemplaires (1)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| EB/151 | Ebook | Bibliothèque centrale | Disponible |
Accueil
