Základy formální logiky 1976 (1. vydání 1973 )
Literatura naučná Učebnice a slovníky Matematika a logika
Janák je 0x v oblíbených.