37 found
Order:
Disambiguations
Vladeta Vučković [22]V. Vuckovic [15]V. D. Vuckovic [1]
  1.  16
    Almost Recursivity and Partial Degrees.Vladeta Vuckovic - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):419-426.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  15
    Mathematics of Incompleteness and Undecidability.Vladeta Vučković - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (7-12):123-150.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  15
    Turing Algorithms.Vladeta Vučković - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):106-116.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  16
    Relativized Cylindrification.Vladeta Vuckovic - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):167-172.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  15
    Funktionen-Algorithmen.Günter Asser & Vladeta Vučković - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):1-8.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  20
    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
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7‐10):106-116.
  8. 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  
     
    My bibliography  
  9.  2
    A Recursive Model for the Extended System ${\Cal A}$ of B. Sobociński.Vladeta Vučković - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):154-158.
  10.  2
    Note On A Theorem Of W Sierpinski.Vladeta Vuckovic - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
  11.  2
    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.
  12.  2
    Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals.Vladeta Vučković - 1970 - Mathematical Logic Quarterly 16 (2):113-121.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Almost Recursivity and Partial Degrees.Vladeta Vuckovic - 1974 - Mathematical Logic Quarterly 20 (25‐27):419-426.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Mathematics of Incompleteness and Undecidability.Vladeta Vučković - 1967 - Mathematical Logic Quarterly 13 (7‐12):123-150.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  3
    Recursive and Recursively Enumerable Manifolds. II.Vladeta Vučković - 1977 - Notre Dame Journal of Formal Logic 18 (3):383-405.
  16.  2
    Note on a Theorem of W. Sierpiński.Vladeta Vučković - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
  17.  1
    On a Class of Regular Sets.Vladeta Vučković - 1964 - Notre Dame Journal of Formal Logic 5 (2):113-124.
  18.  1
    Review: Hu Shih-Hua, Recursive Algorithms. Theory of Recursive Algorithms. I; Hu Shih-Hua, Loh Chung-Wan, Kernel Functions. Theory of Recursive Algorithms II; Hu Shih-Hua, Normal Forms of Recursive Functions. Theory of Recursive Algorithms III. [REVIEW]V. Vuckovic - 1972 - Journal of Symbolic Logic 37 (3):612-612.
  19.  2
    Local Recursive Theory.Vladeta Vučković - 1973 - Notre Dame Journal of Formal Logic 14 (2):237-246.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    Combinatorial Operators and Their Quasi-Inverses.Vladeta Vučković - 1971 - Notre Dame Journal of Formal Logic 12 (3):305-308.
  21.  1
    Recursive and Recursively Enumerable Manifolds. I.Vladeta Vučković - 1977 - Notre Dame Journal of Formal Logic 18 (2):265-291.
  22. 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.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23. Creative and Weakly Creative Sequences of R.E. Sets.V. D. Vuckovic - 1969 - Journal of Symbolic Logic 34 (2):296-296.
  24. 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-619.
  25. Goodstein R. L.. A decidable fragment of recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 199–201. [REVIEW]V. Vuckovic - 1969 - Journal of Symbolic Logic 33 (4):618.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Nowakowski Ryszard. 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.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken. [REVIEW]Vladeta Vuckovic - 1966 - Journal of Symbolic Logic 31 (3):509-509.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Relativized Cylindrification.Vladeta Vuckovic - 1982 - Mathematical Logic Quarterly 28 (8‐12):167-172.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30. 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  
     
    My bibliography  
  31. 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.
  32. Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic. [REVIEW]V. Vuckovic - 1968 - Journal of Symbolic Logic 33 (4):618-618.
  33. 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.
  34. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. van Rootselaar B.. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168. [REVIEW]Vladeta Vuckovic - 1996 - Journal of Symbolic Logic 31 (3):509-509.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  36. Pogorzelski H. A.. Primitive Words in an Infinite Abstract Alphabet. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 10 , Pp. 193–198.Pogorzelski H. A.. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Pogorzelski Henry A.. 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.