Metamathematics of first-order arithmetic
Author(s)
Bibliographic Information
Metamathematics of first-order arithmetic
(Perspectives in logic)
Association for Symbolic Logic : Cambridge University Press, c2016
Available at 2 libraries
Note
Includes bibliographical references and index
"First edition c1998 Springer-Verlag Berlin Heidelberg--T.p. verso