"Mathematical Logic" . "978-80-87168-07-3" . "Matematick\u00E1 logika"@cs . "Praha" . "377967" . "Z(MSM6840770038)" . . . "Matematick\u00E1 logika"@cs . "The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic." . "[A8191673B0AF]" . . "RIV/68407700:21230/08:03151009!RIV09-MSM-21230___" . . "kernberg publishing" . . "Demlov\u00E1, Marie" . . . "Mathematical Logic" . "mathematical logic"@en . "Mathematical Logic" . . "Mathematical Logic"@en . "1"^^ . . "RIV/68407700:21230/08:03151009" . . "The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic."@en . "1"^^ . . "Kniha se zab\u00FDv\u00E1 v\u00FDrokovou logikou a predik\u00E1tovou logikou. Rezolu\u010Dn\u00ED princip je uveden jak pro vyrokovou tak i predik\u00E1tovou logiku."@cs . "21230" . "226"^^ . . "Mathematical Logic"@en . . "226"^^ .