Publications

Export 15 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is T  [Clear All Filters]
Conference Paper
Primiero, Giuseppe. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
Primiero, Giuseppe. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.
Van De Putte, Frederik, Allard Tamminga, and Hein Duijf. 2017. Doing Without Nature. In Logic, Rationality, and Interaction (LORI), Logic, Rationality, and Interaction (LORI), Sapporro: Springer.
Heeffer, Albrecht. 2008. Negative Numbers As An Epistemic Difficult Concept. Some Lessons From History.. In History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008., History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008., C. Tzanakis. Centro Cultural del México Contemporanéo.