- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by V. Vučković
35 found
Order:
Disambiguations
Disambiguations:
| Vladeta Vučković [20] | V. Vuckovic [16] | V. D. Vuckovic [1] |
- A Model of the Arithmetic of Alephs in the Equation Calculus.V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
- Combinatorial operators and their quasi-inverses.Vladeta Vučković - 1971 - Notre Dame Journal of Formal Logic 12 (3):305-308.
- Local recursive theory.Vladeta Vučković - 1973 - Notre Dame Journal of Formal Logic 14 (2):237-246.
- Note on a theorem of W. Sierpiński.Vladeta Vučković - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
- On a class of regular sets.Vladeta Vučković - 1964 - Notre Dame Journal of Formal Logic 5 (2):113-124.
- 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.
- 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.
- Almost Recursivity and Partial Degrees.Vladeta Vuckovic - 1974 - Mathematical Logic Quarterly 20 (25‐27):419-426.
- Almost Recursivity and Partial Degrees.Vladeta Vuckovic - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):419-426.
- Note On A Theorem Of W Sierpinski.Vladeta Vučković - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
- Relativized Cylindrification.Vladeta Vuckovic - 1982 - Mathematical Logic Quarterly 28 (8‐12):167-172.
- Relativized Cylindrification.Vladeta Vuckovic - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):167-172.No categories
- Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals.Vladeta Vučković - 1970 - Mathematical Logic Quarterly 16 (2):113-121.
- Mathematics of Incompleteness and Undecidability.Vladeta Vučković - 1967 - Mathematical Logic Quarterly 13 (7‐12):123-150.
- Mathematics of Incompleteness and Undecidability.Vladeta Vučković - 1967 - Mathematical Logic Quarterly 13 (7-12):123-150.
- Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7‐10):106-116.
- Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7-10):106-116.
- Book reviews. [REVIEW]Thomas Mautner, George R. Carlson, V. Vuckovic, John Heil, Rex Martin, Colin McGinn, Gerhard D. Wassermann, R. T. Green & Barbara Von Eckardt - 1982 - Philosophia 11 (3-4):553-560.No categories
- V. D. Vuckovic. Creative and weakly creative sequences of r.e. sets. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 478–483. [REVIEW]V. D. Vuckovic - 1969 - Journal of Symbolic Logic 34 (2):296-296.
- Goodstein R. L. and Lee R. D.. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 235–239. [REVIEW]V. Vuckovic - 1969 - Journal of Symbolic Logic 33 (4):618-618.
- Plymen R. J.. A model of the arithmetic of alephs in the equation calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 257–258. [REVIEW]V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
- Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken. [REVIEW]Vladeta Vuckovic - 1966 - Journal of Symbolic Logic 31 (3):509-509.
- Review: Henry A. Pogorzelski, Commutative Recursive word Arithmetic in the Alphabet of Prime Numbers. [REVIEW]V. Vuckovic - 1966 - Journal of Symbolic Logic 31 (2):271-271.Export citation
Bookmark - Review: H. A. Pogorzelski, Primitive Words in an Infinite Abstract Alphabet; H. A. Pogorzelski, Skolem Arithmetics on Certain Concrete Word Systems. [REVIEW]V. Vuckovic - 1966 - Journal of Symbolic Logic 31 (2):271-271.
- R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 235–239. [REVIEW]V. Vuckovic - 1969 - Journal of Symbolic Logic 33 (4):618-619.
- Ryszard Nowakowski. Structuralna teoria automatów skończonych określonych za pomocą matryc . Polish, with Russian and English summaries. Studia logica, vol. 16 , pp. 75–116. [REVIEW]V. Vuckovic - 1967 - Journal of Symbolic Logic 32 (3):391.
- Review: R. J. Plymen, A Model of the Arithmetic of Alephs in the Equation Calculus. [REVIEW]V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
- Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic. [REVIEW]V. Vuckovic - 1968 - Journal of Symbolic Logic 33 (4):618-618.
- Review: R. L. Goodstein, R. D. Lee, A Decidable Class of Equations in Recursive Arithmetic. [REVIEW]V. Vuckovic - 1968 - Journal of Symbolic Logic 33 (4):618-619.
- Review: Ryszard Nowakowski, A Structural Theory of Matrix-Defined Finite Automata. [REVIEW]V. Vuckovic - 1967 - Journal of Symbolic Logic 32 (3):391-391.Export citation Bookmark
- Shih-Hua Hu. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 843–875. Reprinted in Chinese mathematics, vol. 1 , pp. 64–96.Shih-Hua Hu and Chung-Wan Loh. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 876–888. Reprinted ibid., pp. 97–109.Shih-Hua Hu. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 889–896. Reprinted ibid., pp. 110–117. [REVIEW]V. Vuckovic - 1972 - Journal of Symbolic Logic 37 (3):612-612.
- 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.
- Henry A. Pogorzelski. Commutative recursive word arithmetic in the alphabet of prime numbers. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 13–23. [REVIEW]V. Vučković - 1966 - Journal of Symbolic Logic 31 (2):271.
- 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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo