TY - BOOK AU - Hieke,Alexander AU - Leitgeb,Hannes ED - ProQuest (Firm) TI - Reduction, abstraction, analysis AV - BC108 .H54 2009 PY - 2009/// CY - Frankfurt PB - Ontos Verlag KW - Logic KW - Congresses KW - Reductionism KW - Abstraction KW - Analysis (Philosophy) KW - Electronic books N1 - Includes bibliographical references; Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries UR - http://ebookcentral.proquest.com/lib/daystar-ebooks/detail.action?docID=1215618 ER -