|
Showing 1 - 3 of
3 matches in All Departments
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.
This book is a specialized monograph 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 prestigous
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.
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|