Core logic
Auteur :
Tennant, Neil
Éditeur :
Oxford University Press
ISBN :
9780198777892
Date de publication :
7 sept. 2017
Dimensions :
25,2 x 17,8 x 2,7 cm
Poids :
828 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.