Return to search

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

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/562213976
Date January 1959
CreatorsBouveĢ€re, Karel Louis de.
PublisherAmsterdam, North-Holland Pub. Co.,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds