A Contribution Toward Computable Number Theory

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):117-119 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110206

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Mathematical Logic Quarterly 11 (2):117-119.
Albert A. Mullin. On a necessary condition for the validity of Goldbach's conjecture. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 145–148. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343.
Mullin Albert A.. On a theorem equivalent to Post's fundamental theorem of recursive function theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 203–205. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
Inductive Inference and Computable One-One Numberings.Rsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):463-479.
Predictably computable functionals and definition by recursion.D. L. Kreider & R. W. Ritchie - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (5):65-80.
On the Definition of Computable Function of a Real Variable.J. C. Shepherdson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):391-402.
Extensions of non-standard models of number theory.Andrew Adler - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):289-290.
Connections between identifying functionals, standardizing operations, and computable numberings.Rüsinš Freivalds, Efim B. Kinber & Rolf Wiehagen - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):145-164.
The number of {□, →}-logics.George F. Schumm - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):517-518.
On A Theory of Classes.C. Alkor - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):337-342.

Analytics

Added to PP
2016-02-04

Downloads
21 (#729,174)

6 months
3 (#1,208,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references