Pavel Pudlák

Logical Foundations of Mathematics and Computational Complexity - 2013 - Springer International Publishing 2013 - Springer Monographs in Mathematics .

9783319001197


Mathematics and Statistics