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://catalog.hathitrust.org/api/volumes/oclc/4097062.html

Tags

Additional Fields

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