Logic

Inhaltsangabe von Logic

«Logic» ist das Logik-Lehrbuch von Paul Tomassi, erschienen bei Routledge in Taschenbuchausgabe (432 Seiten, auf Englisch).

Einführung in die Logik, die den Begriff der Gültigkeit, die Sprache der Aussagenlogik, die Beweistheorie und die formale Semantik mit der Methode der Wahrheitsbäume erklärt und auch die Quantorenlogik und die Theorie der Kennzeichnungen behandelt. Enthält studierendenorientierte Übungen, Abbildungen, Zusammenfassungen und ein Glossar.

Das Buch wurde erstmals am 28. Januar 1999 in London und New York veröffentlicht; der Band enthält eine Bibliografie und einen Index.

Es ist für Logikstudierende gedacht, sowohl zur Prüfungsvorbereitung und zum Mitkommen im Kurs als auch für alle, die selbstständig lernen möchten.