Pavel Pudlak Author

Petr Hájek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague. Pavel Pudlák works in the Mathematical Institute at the Academy of Sciences of the Czech Republic, Prague.

Metamathematics of First-Order Arithmetic

2 authors - Hardback

£144.99

Find out more

A Lattice of Chapters of Mathematics (Interpretations between Theorems)

3 authors - Paperback

£20.95

Find out more