Wyniki wyszukiwania:

Logic: the Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as:

. mathematical preliminaries

. propositional logic

. quantified logic (first monadic, then polyadic)

. English and standard symbolic translations

. tableau procedures.

The real value of the text is revealed by what else it contains: an accessible introduction to several philosophically important non-classical logics, to free logics, and to...