Logical Foundations of...

Springer Monographs in Mathematics (Series)

Pavel Pudlák Author
(2013)