BooksMathematicsLogicMathematical logicSet theoryMathematical theory of computation
Metamathematics of First-Order Arithmetic (Perspectives in Logic, Series Number 3)
by Pudlák, Pavel, Hájek, Petr
Product Details
Author
Pudlák, Pavel, Hájek, Petr
Publisher
Cambridge University Press
Published
2017
Pages
474
Binding
Hardcover
Edition
1
ISBN
9781107168411
Language
English
Genre
Mathematics, Logic, Mathematical logic, Set theory, Mathematical theory of computation
Category
Books