Produkt mají v nabídce:
Core Logic - Tennant, Neil (Arts a Humanities Distinguished Professor of Philosophy, Arts a Humanities Distinguished Professor of Philosophy, Ohio State University)
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.
