Pavel Pudlák works in the Mathematical Institute at the Academy of Sciences of the Czech Republic, Prague.
3 หนังสืออิเล็กทรอนิกส์โดย Pavel Pudlak
Pavel Pudlák: Logical Foundations of Mathematics and Computational Complexity
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 Computation …
PDF
อังกฤษ
€181.89
Samuel R. Buss & Petr Hajek: Logic Colloquium ’98
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 fo …
PDF
อังกฤษ
DRM
€121.97
