Metamathematics of first-order arithmetic by Hájek, Petr. | Menrva Books | MenrvaBooks