Publications

Export 15 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is T  [Clear All Filters]
1989
Batens, Diderik. 1989. Een Pleidooi Voor Lokale Consistentie H. Berghs and Thys, W. Congresbundel Filosofiedag Antwerpen 1988: 41–46.
2006
Primiero, Giuseppe. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
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.
2008
Heeffer, Albrecht. 2008. A Conceptual Analysis Of Early Arabic Algebra Shahid Rahman, Street, Tony, and Tahiri, Hassan. The unity of science in the arabic tradition : science, logic, epistemology and their interactions: 89–128. http://dx.doi.org/1854/11276.
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.
2017
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.