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.

Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides)

Science & Math

Maksimova, Larisa

Gabbay, Dov. M.

Mathematics

Clarendon Press

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Computers & Technology

Lavrov, Igor

Computer Science

Springer

See the best price to sell, buy, or rent books by Maksimova, Larisa. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Maksimova, Larisa