---

＜電子ブック＞
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms / by Igor Lavrov, Larisa Maksimova ; edited by G. Corsi
(University Series in Mathematics)

版	1st ed. 2003.
出版者	(New York, NY : Springer US : Imprint: Springer)
出版年	2003
本文言語	英語
大きさ	XII, 282 p : online resource
著者標目	*Lavrov, Igor author Maksimova, Larisa author Corsi, G editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic LCSH:Logic LCSH:Computer science -- Mathematics  全ての件名で検索 FREE:Mathematical Logic and Foundations FREE:Logic FREE:Symbolic and Algebraic Manipulation
一般注記	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 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 HTTP:URL=https://doi.org/10.1007/978-1-4615-0185-5

 類似資料