Logika a logiky

Důkaz na straně 112 knihy je špatně (čímž se také stavá irelevantní věta na předchozí straně).
Opravená verze stran 111-115 knihy je k dispozici zde.