Lectures on mathematical logic an algorithms theory. Part 2. Languages and calculi.
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.
Abstract
A textbook for undergraduate students on first-order logic.
Domains
Mathematics [math]Origin | Files produced by the author(s) |
---|