Deductive Logic
by St. George Stock
Publisher: Longmans 1888
ISBN/ASIN: 1120380618
Number of pages: 408
Description:
The author's object has been to produce a work which should be as thoroughly representative of the present state of the logic of the Oxford Schools as any of the textbooks of the past. The qualities which he aimed at before all others were clearness and consistency.
Download or read it online for free here:
Download link
(multiple formats)
Similar books
Language, Proof and Logicby 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.
(22348 views)
Symbolic Logicby 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.
(18679 views)
Proof Theory and Philosophyby Greg Restall - consequently.org
A textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly and philosophically motivated presentation.
(13354 views)
Elements of Deductive Logicby Antony Eagle - University of Adelaide
This textbook covers the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written for an introductory logic course.
(5615 views)