Obálka

Lambda-isčislenije : jego sintaksis i semantika

Podrobná bibliografie
Hlavní autoři: Barendregt, H. P. (Autor), Ch. Barendregt ; perevod s anglijskogo G.Je. Minca ; pod redakcijej A.S. Kuzičeva
Další autoři: Minc, G. Je. (Překladatel), Kuzičev, A. S. (Editor)
Typ dokumentu: Kniha
Jazyk:ruština
Rok: Moskva : Mir, 1985
Témata:
matematická logika
logická syntax
logická sémantika
operátorový počet
mathematical logic
logical syntax
logical semantics
operational calculus