The Work Metamathematics of First-Order Arithmetic The details The Author Petr Hájek The offers View on Kindle View paperback on Amazon View hardback on Amazon