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

Saved in:
Bibliographic Details
OCLC:4097062
Main Author: Bouvère, Karel Louis de
Corporate Author: Universiteit van Amsterdam
Language:English
Published: Amsterdam, North-Holland Pub. Co., 1959.
Subjects:
Format:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Description Local Call Number Status
P-00255188 Available