ℹ️
🇬🇧
Search
Search for publications relevant for "lambda calculus"
lambda calculus
Publication
Class
Person
Publication
Programmes
On Interrelations Among Extensional Three-Valued Logics
Publication at Faculty of Arts
|
2001
2 people
Abstract
On Interrelations Among Extensional Three-Valued Logics
People
person
doc. PhDr. Petr Jirků CSc.
Faculty of Arts
person
Mgr. Martin Špalek
Faculty of Arts