Pavel Pudlak – författare
Visar alla böcker från författaren Pavel Pudlak. Handla med fri frakt och snabb leverans.
5 produkter
Logic Colloquium '98
Av Pavel Pudlak, Petr Hajek m. fl.
E-bok
1548 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the thirteenth publication in the …
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Av Pavel Pudlák
Inbunden, 2013
1971 kr
Lägg i varukorg
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 …
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Av Pavel Pudlak
E-bok, 2013
2543 kr
Lägg i varukorg
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 …
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Av Pavel Pudlák
Häftad, 2016
1971 kr
Lägg i varukorg
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 …
Metamathematics of First-Order Arithmetic
Häftad, 1998
1425 kr
Lägg i varukorg
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 …
