Kripke’s Worlds

An Introduction to Modal Logics via Tableaux

Nonfiction, Science & Nature, Mathematics, Logic, History
Big bigCover of Kripke’s Worlds

More books from Springer Basel

bigCover of the book Visual Reasoning with Diagrams by
bigCover of the book IL-17, IL-22 and Their Producing Cells: Role in Inflammation and Autoimmunity by
bigCover of the book Gamma-Glutamyl Transpeptidases by
bigCover of the book Molecular, Clinical and Environmental Toxicology by
bigCover of the book Human Medical Research by
bigCover of the book Introduction to Geometry and Topology by
bigCover of the book Alpine Treelines by
bigCover of the book A Comprehensive Treatment of q-Calculus by
bigCover of the book Proofs of the Cantor-Bernstein Theorem by
bigCover of the book Twenty Years of G-CSF by
bigCover of the book For Better or For Worse? Collaborative Couples in the Sciences by
bigCover of the book Treatment and Prevention of Malaria by
bigCover of the book Genomics of Pattern Recognition Receptors by
bigCover of the book Looking at Numbers by
bigCover of the book Galanin by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy