Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Honzik, R  [Clear All Filters]
2007
Primiero, Giuseppe. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.