Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Igor Lavrov

ISBN 10: 0306477122 ISBN 13: 9780306477126
Verlag: Springer US, Springer New York Mär 2003, 2003
Neu Buch

Verkäufer buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 23. Januar 2017


Beschreibung

Beschreibung:

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch. Bestandsnummer des Verkäufers 9780306477126

Diesen Artikel melden

Inhaltsangabe:

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.

Reseña del editor: 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Problems in Set Theory, Mathematical Logic ...
Verlag: Springer US, Springer New York Mär 2003
Erscheinungsdatum: 2003
Einband: Buch
Zustand: Neu

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Lavrov, Igor [Author] Maksimova, Larisa [Author] Corsi, Giovanna [Editor] Shehtman, Valentin [Translator]
ISBN 10: 0306477122 ISBN 13: 9780306477126
Gebraucht Hardcover Erstausgabe

Anbieter: Second Story Books, ABAA, Rockville, MD, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. 1379857

Verkäufer kontaktieren

Gebraucht kaufen

EUR 57,06
Versand: EUR 6,08
Innerhalb der USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Igor Lavrov
ISBN 10: 0306477122 ISBN 13: 9780306477126
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: 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. Artikel-Nr. 9780306477126

Verkäufer kontaktieren

Neu kaufen

EUR 114,36
Versand: EUR 63,09
Von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb