LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	Problems in Set Theory, Mathematical Logic and the Theory of Algorithms ([EBook] /) / by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi.
Author	Lavrov, Igor
Added Personal Name	Maksimova, Larisa author.
Added Personal Name	Corsi, Giovanna editor.
Other name(s)	SpringerLink (Online service)
Publication	Boston, MA : : Springer US : : Imprint: Springer, , 2003.
Physical Details	XII, 282 p. : online resource.
Series	The University series in mathematics
ISBN	9781461501855
Summary Note	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.:
Contents note	I Problems -- 1 Set theory -- 2 Mathematical logic -- 3 Theory of algorithms -- II Solutions -- 1 Set theory -- 2 Mathematical logic -- 3 Theory of algorithms -- References.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/978-1-4615-0185-5
Links to Related Works	Subject References: Computer Science . Logic . Mathematical logic . Mathematical Logic and Foundations . Mathematics . Symbolic and Algebraic Manipulation . Authors: Corsi, Giovanna . Lavrov, Igor . Maksimova, Larisa . Corporate Authors: SpringerLink (Online service) . Series: The University series in mathematics . Classification: 511.3 .

Catalogue Display

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

Reviews