1
by Boffa, Maurice
Published 1979
North-Holland
Table of Contents: ... recursive arithmetic / Ulf. R. Schmerl -- Logic and the axiom of choice / H. Schwichtenberg -- On successors...