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

Description

Academic Thesis--Amsterdam. / Without thesis statement. Bibliography: p. 59-60.

Links & Downloads

1. http://books.google.com/books?id=4OhLAAAAMAAJ

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/300867556
Date	January 1959
Creators	Bouvère, Karel Louis de.
Publisher	Amsterdam, North-Holland Pub. Co.,
Source Sets	OCLC
Language	English
Detected Language	English