Opening book details…
Can I read The Power of Ideology: Updated Edition on EtoBox?
The Power of Ideology: Updated Edition by István Mészáros is a computer science book available to read on EtoBox.
What is The Power of Ideology: Updated Edition about?
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Godel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to 11-CA0. Ordinal analysis and
Who reads The Power of Ideology: Updated Edition?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- István Mészáros
- Publisher
- Zed Books Ltd
- Published
- 2005
- Language
- EN
- ISBN
- 9781139223638
- Category
- computer science
- Subjects
- Mathematics, Political Science, Social Science
- Updated
- 2026-03-25
More by István Mészáros
Browse all works by István Mészáros
Similar books
- Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer — Schwichtenberg, Helmut, Wainer, Stanley S. (2012)
- Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing) — Davis, Martin, Sigal, Ron, Weyuker, Elaine J. (1994)
- Computational Logic and Set Theory : Applying Formalized Logic to Analysis — Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo; Martin Davis (Foreword) (2011)
- Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) — Donald Sannella, Andrzej Tarlecki (auth.) (2012)
- Discrete Mathematics with Applications: Fifth Edition — Susanna S. Epp (2020)
- Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 — Baaz, Matthias; Friedman, Sy D.; Krajíček, Jan (2005)
