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.