Lectures on mathematical logic an algorithms theory. Part 2. Languages and calculi.
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.
Résumé
A textbook for undergraduate students on first-order logic.
Domaines
Mathématiques [math]Origine | Fichiers produits par l'(les) auteur(s) |
---|