LIBROS DEL AUTOR: pavel pudlak

2 resultados para LIBROS DEL AUTOR: pavel pudlak

  • Logical Foundations of Mathematics and Computational Complexity
    Pavel Pudlák
    The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdiscip...
    Disponible

    248,33 €

  • Metamathematics of First-Order Arithmetic
    Pavel Pudlak / Petr Hajek
    People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such as Grassmann, Frege and Dedekind, gave definitions for these familiar objects. Since then the development of axiomatic schemes for arithmetic have played a...
    Disponible

    157,63 €