Mathematical Logic: Exercises and Solutions
Capitolul 1 - Sisteme de seturi speciale. - Capitolul 2 - Jocuri și vot.
- Capitolul 3 - Limbaje formale și automate. - Capitolul 4 - Teoria recursivității. - Capitolul 5 - Calculul propozițional.
- Capitolul 6 - Logica de ordinul întâi. - Capitolul 7 - Teoreme fundamentale.
- Capitolul 8 - Echivalența elementară. - Capitolul 9 - Ultraproduse. - Capitolul 10 - Aritmetica.
- Capitolul 11 - Aplicații selectate. - Capitolul 12 - Soluții.
© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)