Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Ouvrages Année : 2017

Lectures on mathematical logic an algorithms theory. Part 2. Languages and calculi.

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

Résumé

A textbook for undergraduate students on first-order logic.
Fichier principal
Vignette du fichier
part2-5ed.pdf (1.26 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-01486497 , version 1 (09-03-2017)

Identifiants

  • HAL Id : lirmm-01486497 , version 1

Citer

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

Partager

More