Models of Peano arithmetic

Richard Kaye
Bok · Engelsk · 1991

Utgitt	Oxford : Clarendon Press , 1991
Omfang	x, 292 s.
Emner	Arithmetic - Foundations Model theory symbolsk logikk modellteori
ISBN	019853213X