Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (Paperback, Softcover reprint of the original 1st ed. 2003)

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	University Series in Mathematics
Release date:	September 2012
First published:	2003
Editors:	G. Corsi
Authors:	Igor Lavrov • Larisa Maksimova
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	282
Edition:	Softcover reprint of the original 1st ed. 2003
ISBN-13:	978-1-4613-4957-0
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Philosophy > Topics in philosophy > Logic
LSN:	1-4613-4957-5
Barcode:	9781461349570

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!