All ebooks by Pavel Pudlák in PDF and EPUB
Readzis program recommandation

All ebooks by Pavel Pudlák in PDF and EPUB


2  Book(s)
Download this eBook Metamathematics of First-Order Arithmetic
Add to my wish list

Metamathematics of First-Order Arithmetic


Petr Hájek , Pavel Pudlák


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 third...

Publication date: 2017-03-02
Format: PDF
Add to basket
£159,30
Download this eBook Logical Foundations of Mathematics and Computational Complexity
Add to my wish list

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...

Publication date: 2013-04-22
Format: ePub
Publisher: Springer
Add to basket
£159,50

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés