Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.

Nikolay Vereshchagin 1 Alexander Shen 2
2 ESCAPE - Systèmes complexes, automates et pavages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : A textbook for undergraduate students on first-order logic.
Document type :
Books
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01486497
Contributor : Alexander Shen <>
Submitted on : Thursday, March 9, 2017 - 9:38:45 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 PM

File

part2-5ed.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01486497, version 1

Collections

Citation

Nikolay Vereshchagin, Alexander Shen. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. . 2017, 978-5-4439-0944-8. ⟨lirmm-01486497⟩

Share

Metrics

Record views

185

Files downloads

529