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 [Book Review]

Journal of Symbolic Logic 28 (3):251-252 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271076

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

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.
Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals.Vladeta Vučković - 1970 - Mathematical Logic Quarterly 16 (2):113-121.
Vučković Vladeta. On some possibilities in the foundations of recursive arithmetics of words. English with Serbo-Croatian summary. Glasnik matematičko-fizički i astronomski , ser. 2 vol. 17 , pp. 145–157. [REVIEW]Kajetan Šeper - 1971 - Journal of Symbolic Logic 36 (3):549-549.
Local recursive theory.Vladeta Vučković - 1973 - Notre Dame Journal of Formal Logic 14 (2):237-246.
Recursive and recursively enumerable manifolds. I.Vladeta Vučković - 1977 - Notre Dame Journal of Formal Logic 18 (2):265-291.
Recursive and recursively enumerable manifolds. II.Vladeta Vučković - 1977 - Notre Dame Journal of Formal Logic 18 (3):383-405.
van Rootselaar B.. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168. [REVIEW]Vladeta Vuckovic - 1966 - Journal of Symbolic Logic 31 (3):509-509.
Recursive models for three-valued propositional calculi with classical implication.Vladeta Vučković - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):148-153.
Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7‐10):106-116.
Relativized Cylindrification.Vladeta Vuckovic - 1982 - Mathematical Logic Quarterly 28 (8‐12):167-172.
Mathematics of Incompleteness and Undecidability.Vladeta Vučković - 1967 - Mathematical Logic Quarterly 13 (7‐12):123-150.
Almost Recursivity and Partial Degrees.Vladeta Vuckovic - 1974 - Mathematical Logic Quarterly 20 (25‐27):419-426.
Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7-10):106-116.
Relativized Cylindrification.Vladeta Vuckovic - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):167-172.
H. A. Pogorzelski. Primitive words in an infinite abstract alphabet. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 193–198. - H. A. Pogorzelski. Skolem arithmetics on certain concrete word systems. Mathematica Scandinavica, vol. 14 , pp. 93–105. [REVIEW]V. Vučković - 1966 - Journal of Symbolic Logic 31 (2):271-271.

Analytics

Added to PP
2013-11-22

Downloads
22 (#705,671)

6 months
1 (#1,462,504)

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