Larisa maksimova (25 risultati)

Hardcover. First Edition, First Printing. Octavo, xii, 282 pages. In Very Good condition. Dark blue spine with white lettering. Boards have mild shelving wear, mild finger-staining, and an adhesive stain on spine. Textblock has mild staining along head edge and mild wear along head and tail edges. Shelved ND-C. 1379857. FP New Rockville Stock. …

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Condizione: New. pp. 300 Index.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. …

Paperback. Condizione: Brand New. 294 pages. 9.25x6.10x0.68 inches. In Stock.

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condizione: New. 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. Series: Oxford Logic Guides. Num Pages: 524 pages, numerous line drawings and mathematical examples. BIC Classification: PBB; PBCD; PDA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 32. Weight in Grams: 907. . 2005. Hardback. . . . .…

Condizione: New. In English.

Condizione: New. 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. Series: Oxford Logic Guides. Num Pages: 524 pages, numerous line drawings and mathematical examples. BIC Classification: PBB; PBCD; PDA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 32. Weight in Grams: 907. . 2005. Hardback. . . . . Books ship from the US and Ireland.…

Hardback. Condizione: New. 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.…

Hardback. Condizione: New. 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.…

Hardcover. Condizione: Near Fine. Second printing. 8vo. [6], vii-xiv, [1], 2-508, [6] pp. Glossy black paper boards with gold lettering on the boards and the spine, publisher's device in grey on the front board and in gold on the spine, single gold rule on the front board with three gold rules on the spine. Volume 46 in the Oxford Logic Guides series. Series editors Dov M. Gabbay, Angus MacIntyre, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. An attractive copy of this important study of interpolation with focus on modal logics and extensions of intuitionistic logic. Near Fine with a tiny abrasion to the font board and a few hints of wear to the extremities.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov &amp L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers maj.…

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov &amp L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers maj.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Condizione: New. Print on Demand pp. 300 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 300.

Condizione: New. Print on Demand pp. 524.

Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Condizione: New. Print on Demand pp. 524 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 524.