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

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

AngličtinaPevná vazbaTisk na objednávku
Lavrov Igor
Springer Science+Business Media
EAN: 9780306477126
Tisk na objednávku
Předpokládané dodání v úterý, 14. května 2024
2 215 Kč
Běžná cena: 2 461 Kč
Sleva 10 %
ks
Chcete tento titul ještě dnes?
knihkupectví Megabooks Praha Korunní
není dostupné
Librairie Francophone Praha Štěpánská
není dostupné
knihkupectví Megabooks Ostrava
není dostupné
knihkupectví Megabooks Olomouc
není dostupné
knihkupectví Megabooks Plzeň
není dostupné
knihkupectví Megabooks Brno
není dostupné
knihkupectví Megabooks Hradec Králové
není dostupné
knihkupectví Megabooks České Budějovice
není dostupné

Podrobné informace

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.
EAN 9780306477126
ISBN 0306477122
Typ produktu Pevná vazba
Vydavatel Springer Science+Business Media
Datum vydání 31. března 2003
Stránky 282
Jazyk English
Rozměry 235 x 155
Země United States
Autoři Lavrov Igor; Maksimova Larisa
Ilustrace XII, 282 p.
Editoři Corsi, G.
Edice 2003 ed.
Série University Series in Mathematics