Metamathematics of First-Order Arithmetic by Petr Hájek
Metamathematics of First-Order Arithmetic

Petr Hájek

Metamathematics of First-Order Arithmetic

Perspectives in Mathematical Logic

Petr Hájek with Pavel Pudlák

474 pages first pub 1992 (editions)

nonfiction mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. T...

Read more

Community Reviews

Loading...

Content Warnings

Loading...