• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7
  • Tagged with
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

On many-one degrees

Liu, Shih-Chao, January 1965 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1965. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
2

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

Bouvère, Karel Louis de. January 1959 (has links)
Academic Thesis--Amsterdam. / Without thesis statement. Bibliography: p. 59-60.
3

Limit recursion and Gödel's incompleteness theorem /

Randall, Allan F. January 2006 (has links)
Thesis (M.A.)--York University, 2006. Graduate Programme in Philosophy. / Typescript. Includes bibliographical references (leaves 125-133). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR29605
4

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

Bouvère, Karel Louis de. January 1959 (has links)
Academic Thesis--Amsterdam. / Without thesis statement. Bibliography: p. 59-60.
5

Counter-creation, co-creation, procreation a novel theological aesthetic & Not like other men : a novel /

Cooper, Karen G. P., January 1991 (has links)
Thesis (M.C.S.)--Regent College, Vancouver, BC, 1991. / Abstract and vita. Includes bibliographical references.
6

Computers, Gödel's incompleteness theorems and mathematics education : a study of the implications of artificial intelligence for secondary school mathematics /

Ng, Yui-kin. January 1900 (has links)
Thesis (M. Ed.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 112-120).
7

Computers, Gödel's incompleteness theorems and mathematics education a study of the implications of artificial intelligence for secondary school mathematics /

Ng, Yui-kin. January 1900 (has links)
Thesis (M.Ed.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 112-120). Also available in print.

Page generated in 0.1028 seconds