ℹ️
🇬🇧
Search
Search for people relevant for "lambda calculus"
lambda calculus
Person
Class
Person
Publication
Programmes
doc. PhDr. Petr Jirků CSc.
Academic staff at Faculty of Arts
1 class
17 publications
Class
class
Argumentation, Thought and Complex Systems
ALGV00100 |
Faculty of Arts
Publications
publication
Lambda calculus
Publication without faculty affiliation
publication
Knowledge from the Logical Point of View
2004 |
Faculty of Arts
publication
Znalosti, epistemologie a epistemická logika
2003 |
Faculty of Arts
publication
Miscellanea Logica, Tom V
2003 |
Faculty of Arts
publication
Three-Element Implicative Matrices
2003 |
Faculty of Arts
publication
Formal logic in the context of natural language and argumentation
2002 |
Faculty of Arts
publication
The Logic at Charles University in Prague
2002 |
Faculty of Arts
publication
The Rationality of view of Logic
2001 |
Faculty of Arts
publication
On Interrelations Among Extensional Three-Valued Logics
2001 |
Faculty of Arts
publication
How to Understand Negatives
2001 |
Faculty of Arts
Load more publications (7)
Loading network view...