Local recursive theory

Notre Dame Journal of Formal Logic 14 (2):237-246 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890897

Links

PhilArchive



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

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

Vladeta Vučković. On a class of regular sets. Notre Dame journal of formal logic, vol. 5 no. 2 . pp. 113–124.Kajetan Šeper - 1971 - Journal of Symbolic Logic 36 (3):550.
Review: Vladeta Vuckovic, On Some Possibilities in the Foundations of Recursive Arithmetics of Words. [REVIEW]Kajetan Seper - 1971 - Journal of Symbolic Logic 36 (3):549-549.
On the propositional system $A$ of Vučković and its extension. I.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (2):141-153.
Vučković Vladeta. Partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 7 , pp. 305–320.Vučković Vladeta. Einführung von Σƒ und Πƒ in der rekursiven Gitterpunktarithmetik. German, with Bulgarian and Russian summaries. B′lgarska Akadémia na Naukité, Izvéstiá na Matématičéskiá Institut, vol. 6 , pp. 15–25. [REVIEW]R. L. Goodstein - 1963 - Journal of Symbolic Logic 28 (3):251-252.
On the propositional system $A$ of Vučković and its extension. II.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (3):223-237.
On the propositional calculus A of Vuckovic and its extension. II.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5:223.
On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory.Robert R. Tompkins - 1968 - Notre Dame Journal of Formal Logic 9 (4):289-293.
A highly efficient "transfinite recursive definitions" axiom for set theory.Robert S. Wolf - 1981 - Notre Dame Journal of Formal Logic 22 (1):63-75.
Recursive equivalence types on recursive manifolds.Leon W. Harkleroad - 1979 - Notre Dame Journal of Formal Logic 20 (1):1-31.
On recursive transcendence.R. L. Goodstein & J. Hooley - 1960 - Notre Dame Journal of Formal Logic 1 (4):127-137.

Analytics

Added to PP
2010-08-24

Downloads
14 (#264,824)

6 months
3 (#1,723,834)

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