The logic book - Bergmann, Merrie (McGraw-Hill, 1990)
Na oba spojna lista formule