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