Logo

Elements of Deductive Logic

Elements of Deductive Logic
by

Publisher: University of Adelaide
Number of pages: 178

Description:
This is a textbook covering 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 to accompany lectures in an introductory to intermediate logic course at the University of Oxford, but it is designed to be used independently.

Home page url

Download or read it online for free here:
Download link
(900KB, PDF)

Similar books

Book cover: Studies in Logical TheoryStudies in Logical Theory
by - The University of Chicago Press
This volume presents some results of the work done in the matter of logical theory in the Department of Philosophy of the University of Chicago in the first decade of its existence. The eleven Studies are the work of eight different hands...
(4323 views)
Book cover: Symbolic LogicSymbolic Logic
by - 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.
(9662 views)
Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(7561 views)
Book cover: Deductive LogicDeductive Logic
by - Longmans
The author's object has been to produce a work which should be thoroughly representative of the present state of the logic of the Oxford Schools. The qualities which he aimed at before all others were clearness and consistency.
(7475 views)