Pavel Pudlák
Autor von "Logical Foundations of Mathematics and Computational Complexity" und "Metamathematics of First-Order Arithmetic" und weiteren Büchern.

Logical Foundations of Mathematics and Computational Complexity
Softcover
erschienen am 23.08.2016

Logical Foundations of Mathematics and Computational Complexity
Hardcover
erschienen am 31.05.2013

Metamathematics of First-Order Arithmetic
Hardcover
erschienen am 04.02.1993
