"Ebbinghaus,H.D." Mathematical Logic and P - New York Sperling-Verlag 1984 - "ix,216" ISBN: 3540908951 Dewey Class. No.: 511 / 3 EBB