Export byl úspěšný — 
Obálka

Lambda-isčislenije : jego sintaksis i semantika

Podrobná bibliografie
Hlavní autor: Barendregt, H. P. (Autor)
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