Logika - neúplnost, složitost a nutnost 2002
Literatura naučná Učebnice a slovníky Matematika a logika
Švejdar je 0x v oblíbených.