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:	Definition (Philosophy) Gödel's theorem.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	BC199.D4 B6
BC199.D4 B6	Available Place a Hold