Introduction to Logic

Aukland, New Zealand: Prentice-Hall (2002)
  Copy   BIBTEX


INTRODUCTION TO LOGIC is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises. The text covers propositional logic and predicate logic with identity, the focus being on arguments. The methods of proof are truth-tables and truth-trees in the style of Jeffrey. This text is suitable for students of philosophy, computer science, mathematics and science in general.



    Upload a copy of this work     Papers currently archived: 91,271

External links

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

Through your library

Similar books and articles

Modal Logics and Philosophy: Second Edition.Rod Girle - 2010 - Mcgill-Queen's University Press.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Logic: The Basics.Jc Beall - 2010 - New York: Routledge.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Non-standard logics for automated reasoning.Philippe Smets (ed.) - 1988 - San Diego: Academic Press.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.
Dialogue logic as dynamic logic.Roderic Girle - 2016 - Logique Et Analyse 236:427-443.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.


Added to PP

28 (#545,669)

6 months
10 (#235,055)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roderic Girle
University of Auckland

References found in this work

No references found.

Add more references