Bøger af Jean Goubault-Larrecq

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions.

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.