Metamathematics of First-Order Arithmetic
Published: 1993
ISBN-13: 9783662221563