Search results for: Jan Plato
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 247-261
The Mathematical Intelligencer > 2014 > 36 > 4 > 22-27
Studia Logica > 2014 > 102 > 6 > 1167-1184
The Mathematical Intelligencer > 2013 > 35 > 2 > 70-73