Metamathematics of first-order arithmetic /

Bibliographic Details
Main Author:	Hájek, Petr
Other Authors:	Pudlák, Pavel, 1952-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	Perspectives in mathematical logic.
Subjects:	Arithmetic > Foundations.

Remote Storage