Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Core logic / Neil Tennant.
Author
ISBN
9780191823367 (electronic book)
Published
Oxford : Oxford University Press, 2017.
Language
English
Description
1 online resource
Call Number
BC108
Dewey Decimal Classification
160
Summary
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. 'Core Logic' is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.
Note
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. 'Core Logic' is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from home page (viewed on September 15, 2017).
Available in Other Form
Print version: 9780198777892
Linked Resources
Record Appears in