Mathematical Logic: Exercises and Solutions
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.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)