Core Logic
Autor
Editura
An publicare
2017
Nr. Pagini
384
ISBN
9780198777892
Descriere
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.
Comandă Cartea
321Lei
404Lei
--Lei
--Lei
--Lei
--Lei
--Lei
--Lei
--Lei