Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Innbundet /
2003
/ Engelsk
Produktdetaljer
ISBN
9780306477126
Publisert
2003-03-31
Utgiver
Springer Science+Business Media
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UU, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
12
Redaktør
This 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 some pages of terminology and definitions that make the book self-contained. Solutions are provided. The book shoud become a useful part of curricula in logic.
Les mer
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Les mer
Springer Book Archives
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9780306477126
Publisert
2003-03-31
Utgiver
Springer Science+Business Media
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UU, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
12
Redaktør