Sedmkrát z logiky a metodologie vědy, aneb, Artikulace - Axiomatizace - Demarkace - Explanace - Formalizace - Instrumentalizace - Matematizace / editor: Vladimír Havlík.  Praha : Filosofia, 2015. 152 stranilustrace ;. ISBN 978-80-7007-440-4- ČC 709/2015-speciál2
Umístění:001 - Informatika. Znalosti. Objevy a vynálezy