Interpolation and Definability: Modal and Intuitionistic Logic
(Book #46 in the Oxford Logic Guides Series)
No Customer Reviews
This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigious world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of Intuitionism (Second Edition), J.M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P.T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof, Theory, Semantics and Control.
Format:Hardcover
Language:English
ISBN:0198511744
ISBN13:9780198511748
Release Date:July 2005
Publisher:Clarendon Press
Length:524 Pages
Weight:1.99 lbs.
Dimensions:1.1" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
