Core Logic

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.

שנה

2017

שפה

English

הוצאה

Oxford University Press

מהדורות

1

עמודים

360

ISBN

9780198777892

מקור הנתונים: Wikidata