Publications
Export 1 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is H 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. 
