Fundamental Methods of Logic
by Matthew Knachel
Publisher: University of Wisconsin Milwaukee 2017
Number of pages: 249
Suitable for a one-semester introduction to logic/critical reasoning course. It covers a variety of topics at an introductory level. It introduces basic notions, such as arguments and explanations, validity and soundness, deductive and inductive reasoning, etc.
Home page url
Download or read it online for free here:
by Craig DeLancey - Open SUNY Textbooks
A Concise Introduction to Logic is an introduction to formal logic suitable for undergraduates taking a general education course in logic or critical thinking, and is accessible and useful to any interested in gaining a basic understanding of logic.
by Lewis Carroll - Macmillan and co
Here you see Carroll the mathematician at his playful best. This isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler.
by George Hayward Joyce - Longmans
This work is an attempt at a presentment of what is frequently termed the Traditional Logic, and is intended for those who are making acquaintance with philosophical questions for the first time. Logic is the theory of the mind's rational processes.
by Jon Barwise, John Etchemendy - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.