O knihe: Logika 20. století: mezi filosofií a matematikou
Kniha přináší výběr dnes již klasických textů, podstatných pro vývoj logiky ve druhé polovině 2. století. Pokouší se čtenáři zprostředkovat alespoň letmou zkušenost s onou myšlenkově vzrušující cestou, kterou se moderní logika ubírá (zkušenost, která se třeba pro někoho může stát výzvou k tomu, aby se po této cestě vydal). Četba až na drobné výjimky nepředpokládá příliš hluboké znalosti ani matematiky, ani filosofie. Text by měl být srozumitelný relativně širokému okruhu zájemců.