Aukland, New Zealand: Prentice-Hall (2002)

Abstract
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.
Keywords beginning logics
Categories No categories specified
(categorize this paper)
Reprint years 2007
Buy this book Find it on Amazon.com
ISBN(s) 9780733993220   0733993222
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,160
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Logic and Normativity.Elizabeth Olsen - 2012 - Dissertation, University of Otago

Add more citations

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 - 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.
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.

Analytics

Added to PP index
2021-11-17

Total views
2 ( #1,442,829 of 2,499,425 )

Recent downloads (6 months)
2 ( #278,169 of 2,499,425 )

How can I increase my downloads?

Downloads

My notes