Publications
Export 1 results:
Author Title Type [ Year
Filters: Author is Honzik, R and First Letter Of Title is B [Clear All Filters]
“On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. 
