Pavel Pudlak

Identifiers

Open LibraryOL3182151A

Top Subjects

Mathematics (4)
Logic (3)
Science/Mathematics (3)
Congresses (2)
Logic, Symbolic and mathematical (2)
Logic, Symbolic and mathematic (2)
Mathematical logic (2)

Books by Pavel Pudlak

Total count: 4

Lattice of Chapters of Mathematics (Interpretations Between Theorems)

American Mathematical Society1990-01-01
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)2nd Printing edition

Springer1998-06-01
Logic Colloquium '98Lecture Notes in Logic #13 (Lecture Notes in Logic, 13)1 edition

AK Peters2000-01-15
Logic Colloquium '98Lecture Notes in Logic #13 (Lecture Notes in Logic, 13)1 edition

AK Peters, Ltd.2000-01-15