Overview
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.
- | Author: Neil Tennant
- | Publisher: Oxford University Press
- | Publication Date: Nov 07, 2017
- | Number of Pages: 376 pages
- | Language: English
- | Binding: Hardcover/Mathematics
- | ISBN-10: 0198777892
- | ISBN-13: 9780198777892
