Pavel Pudlák

Links

Identifiers

Open LibraryOL7464912A

Top Subjects

Logic, symbolic and mathematical (1)

Books by Pavel Pudlák

Total count: 4

Metamathematics of First-Order Arithmetic

1993-01-01
Logical Foundations of Mathematics and Computational Complexity: ()A Gentle Introduction

Springer2013-04-22
Logical Foundations of Mathematics and Computational ComplexityA Gentle Introduction

Springer2016-08-23
Logic Colloquium '98

Cambridge University Press2017-01-01