Abstract
A textbook for undergraduate students on first-order logic.
- Title
- Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.
- Creators - without role
- Nikolay Vereshchagin - Department of Mathematical Logic and Theory of AlgorithmsAlexander Shen - Systèmes complexes, automates et pavages
- Identifiers
- 978-5-4439-0944-8; 9943499309311
- Academic Unit
- Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
- Language
- Russian
- Resource Type
- Book
- Local Fields
- lirmm-01486497