A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers.

Saved in:
Bibliographic Details
Main Author: Bouvère, Karel Louis de
Format: Thesis Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1959.
Subjects:
Description
Item Description:Academic thesis--Amsterdam.
Physical Description:vi, 64 pages ; 25 cm.
Bibliography:Bibliography: pages 59-60.
Action Note:committed to retain