Logic as a tool: a guide to formal logical reasoning

Hoboken, NJ: Wiley (2016)
  Copy   BIBTEX

Abstract

Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2022-12-11

Downloads
9 (#1,528,202)

6 months
2 (#1,689,094)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Goranko
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references