Лекции по математической логике и теории алгоритмов. Часть 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.
Type de document :
Ouvrage (y compris édition critique et traduction)
2017, 978-5-4439-0944-8
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01486497
Contributeur : Alexander Shen <>
Soumis le : jeudi 9 mars 2017 - 21:38:45
Dernière modification le : jeudi 11 janvier 2018 - 06:27:05

Fichier

part2-5ed.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01486497, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

154