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

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

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : lirmm-01486497 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More