Produkt mají v nabídce:
Proof Theory and Automated Deduction - Goubault-Larrecq, Jean a Mackie, I.
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.
