30 found
Order:
Disambiguations:
Vladeta Vučković [21]V. Vuckovic [8]V. D. Vuckovic [1]
  1.  4
    Vladeta Vuckovic (1974). Almost Recursivity and Partial Degrees. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):419-426.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    Vladeta Vučković (1967). Mathematics of Incompleteness and Undecidability. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (7-12):123-150.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    Vladeta Vučković (1961). Turing Algorithms. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):106-116.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  4
    Vladeta Vuckovic (1982). Relativized Cylindrification. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):167-172.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    Günter Asser & Vladeta Vučković (1961). Funktionen-Algorithmen. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):1-8.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  18
    Thomas Mautner, George R. Carlson, V. Vuckovic, John Heil, Rex Martin, Colin McGinn, Gerhard D. Wassermann, R. T. Green & Barbara Von Eckardt (1982). Book Reviews. [REVIEW] Philosophia 11 (3-4):553-560.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Vladeta Vučković (1967). A Recursive Model for the Extended System ${\Cal A}$ of B. Sobociński. Notre Dame Journal of Formal Logic 8 (1-2):154-158.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  2
    Vladeta Vuckovic (1965). Note On A Theorem Of W Sierpinski. Notre Dame Journal of Formal Logic 6 (3):180-182.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    V. Vuckovic (1970). Review: R. J. Plymen, A Model of the Arithmetic of Alephs in the Equation Calculus. [REVIEW] Journal of Symbolic Logic 35 (2):321-321.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. V. Vuckovic (1967). Review: Ryszard Nowakowski, A Structural Theory of Matrix-Defined Finite Automata. [REVIEW] Journal of Symbolic Logic 32 (3):391-391.
     
    Export citation  
     
    My bibliography  
  11.  1
    Vladeta Vučković (1964). On a Class of Regular Sets. Notre Dame Journal of Formal Logic 5 (2):113-124.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    V. Vuckovic (1972). 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] Journal of Symbolic Logic 37 (3):612-612.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Vladeta Vučković (1970). Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals. Mathematical Logic Quarterly 16 (2):113-121.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  2
    Vladeta Vučković (1965). Note on a Theorem of W. Sierpiński. Notre Dame Journal of Formal Logic 6 (3):180-182.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Vladeta Vučković (1977). Recursive and Recursively Enumerable Manifolds. II. Notre Dame Journal of Formal Logic 18 (3):383-405.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16.  2
    Vladeta Vučković (1973). Local Recursive Theory. Notre Dame Journal of Formal Logic 14 (2):237-246.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    Vladeta Vučković (1971). Combinatorial Operators and Their Quasi-Inverses. Notre Dame Journal of Formal Logic 12 (3):305-308.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Vladeta Vučković (1977). Recursive and Recursively Enumerable Manifolds. I. Notre Dame Journal of Formal Logic 18 (2):265-291.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19. Vladeta Vučković (1967). Recursive Models for Three-Valued Propositional Calculi with Classical Implication. Notre Dame Journal of Formal Logic 8 (1-2):148-153.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20. Vladeta Vuckovic (1974). Almost Recursivity and Partial Degrees. Mathematical Logic Quarterly 20 (25‐27):419-426.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21. V. D. Vuckovic (1969). Creative and Weakly Creative Sequences of R.E. Sets. Journal of Symbolic Logic 34 (2):296-296.
    Direct download  
     
    Export citation  
     
    My bibliography  
  22. Vladeta Vuckovic (1966). Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken. [REVIEW] Journal of Symbolic Logic 31 (3):509-509.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Vladeta Vuckovic (1982). Relativized Cylindrification. Mathematical Logic Quarterly 28 (8‐12):167-172.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24. V. Vuckovic (1966). Review: Henry A. Pogorzelski, Commutative Recursive Word Arithmetic in the Alphabet of Prime Numbers. [REVIEW] Journal of Symbolic Logic 31 (2):271-271.
     
    Export citation  
     
    My bibliography  
  25. V. Vuckovic (1966). Review: H. A. Pogorzelski, Primitive Words in an Infinite Abstract Alphabet; H. A. Pogorzelski, Skolem Arithmetics on Certain Concrete Word Systems. [REVIEW] Journal of Symbolic Logic 31 (2):271-271.
     
    Export citation  
     
    My bibliography  
  26. V. Vuckovic (1968). Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 33 (4):618-618.
  27. V. Vuckovic (1968). Review: R. L. Goodstein, R. D. Lee, A Decidable Class of Equations in Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 33 (4):618-619.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Vladeta Vuckovic (1996). van Rootselaar B.. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168. [REVIEW] Journal of Symbolic Logic 31 (3):509-509.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  29. Vladeta Vučković (1967). Mathematics of Incompleteness and Undecidability. Mathematical Logic Quarterly 13 (7‐12):123-150.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30. Vladeta Vučković (1961). Turing Algorithms. Mathematical Logic Quarterly 7 (7‐10):106-116.