25 found
Sort by:
Disambiguations:
Vladeta Vučković [17]V. Vuckovic [8]
  1. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Vladeta Vuckovic (1982). Relativized Cylindrification. Mathematical Logic Quarterly 28 (8‐12):167-172.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Vladeta Vučković (1977). Recursive and Recursively Enumerable Manifolds. I. Notre Dame Journal of Formal Logic 18 (2):265-291.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Vladeta Vučković (1977). Recursive and Recursively Enumerable Manifolds. II. Notre Dame Journal of Formal Logic 18 (3):383-405.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Vladeta Vuckovic (1974). Almost Recursivity and Partial Degrees. Mathematical Logic Quarterly 20 (25‐27):419-426.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Vladeta Vučković (1973). Local Recursive Theory. Notre Dame Journal of Formal Logic 14 (2):237-246.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. Vladeta Vučković (1971). Combinatorial Operators and Their Quasi-Inverses. Notre Dame Journal of Formal Logic 12 (3):305-308.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. 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)  
     
    My bibliography  
     
    Export citation  
  11. Vladeta Vučković (1970). Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals. Mathematical Logic Quarterly 16 (2):113-121.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. V. Vuckovic (1968). Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 33 (4):618-618.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. 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)  
     
    My bibliography  
     
    Export citation  
  14. V. Vuckovic (1967). Review: Ryszard Nowakowski, A Structural Theory of Matrix-Defined Finite Automata. [REVIEW] Journal of Symbolic Logic 32 (3):391-391.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. 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)  
     
    My bibliography  
     
    Export citation  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  17. Vladeta Vučković (1967). Mathematics of Incompleteness and Undecidability. Mathematical Logic Quarterly 13 (7‐12):123-150.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Vladeta Vuckovic (1966). Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken. [REVIEW] Journal of Symbolic Logic 31 (3):509-509.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. 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)  
     
    My bibliography  
     
    Export citation  
  22. Vladeta Vuckovic (1965). Note On A Theorem Of W Sierpinski. Notre Dame Journal of Formal Logic 6 (3):180-182.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Vladeta Vučković (1964). On a Class of Regular Sets. Notre Dame Journal of Formal Logic 5 (2):113-124.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Günter Asser & Vladeta Vučković (1961). Funktionen-Algorithmen. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 7 (1-5):1-8.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Vladeta Vučković (1961). Turing Algorithms. Mathematical Logic Quarterly 7 (7‐10):106-116.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation