Lab for Automated Reasoning and Analysis LARA

Gallier's Logic Book

There are many textbooks that cover propositional and first-order logic, its syntax, semantics, and proof theory.

This Jean Gallier's book is available online and contains a lot of relevant material. You should not assume that you can quickly read through all of it. The most important sections are:

However, please check the dependencies for chapters.

gallier_logic_book.txt · Last modified: 2008/02/18 12:53 by vkuncak