2 options
Intermediate logic.
EBSCOhost Academic eBook Collection (North America) Available online
EBSCOhost Academic eBook Collection (North America)- Format:
- Book
- Author/Creator:
- Bostock, David, author.
- Series:
- Oxford scholarship online.
- Oxford scholarship online
- Language:
- English
- Subjects (All):
- Logic.
- Physical Description:
- 1 online resource (ix, 393 pages) : illustrations
- Edition:
- 1st ed.
- Place of Publication:
- Oxford : Oxford University Press, 2023.
- Language Note:
- English
- Summary:
- This text is aimed especially for anyone who has taken a first course in logic and is progressing to further study. The author examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding.
- Contents:
- Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX
- Notes:
- Previously issued in print: 1997.
- Includes bibliographical references (p. 379-381) and index.
- Derived record based on print version record and publisher information.
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 1-383-03261-0
- 0-19-103722-2
- 1-282-38376-0
- 9786612383762
- 0-19-156707-8
- OCLC:
- 435942159
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.