Logique mathématique : Exercices et solutions

Titre original :

Mathematical Logic: Exercises and Solutions

Contenu du livre :

Chapitre 1 - Systèmes d'ensembles spéciaux. - Chapitre 2 - Jeux et vote.

- Chapitre 3 - Langages formels et automates. - Chapitre 4 - Théorie de la récursivité. - Chapitre 5 - Calcul propositionnel.

- Chapitre 6 - Logique du premier ordre. - Chapitre 7 - Théorèmes fondamentaux.

- Chapitre 8 - Équivalence élémentaire. - Chapitre 9 - Ultraproduits. - Chapitre 10 - Arithmétique.

- Chapitre 11 - Applications choisies. - Chapitre 12 - Solutions.

Autres informations sur le livre :

• ISBN : 9783030790097
• Auteur : Laszlo Csirmaz
• Éditeur : Springer Nature
• Reliure : Relié
• Année de publication : 2021
• Nombre de pages : 312