19 found
Order:
  1.  18
    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  
     
    Bookmark  
  2.  18
    Turing Algorithms.Vladeta Vučković - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):106-116.
  3.  18
    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  
     
    Bookmark  
  4.  17
    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  
     
    Bookmark  
  5.  8
    Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken. [REVIEW]Vladeta Vuckovic - 1966 - Journal of Symbolic Logic 31 (3):509-509.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  10
    Note On A Theorem Of W Sierpinski.Vladeta Vuckovic - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
  7.  11
    Recursive and Recursively Enumerable Manifolds. II.Vladeta Vučković - 1977 - Notre Dame Journal of Formal Logic 18 (3):383-405.
  8.  10
    Note on a Theorem of W. Sierpiński.Vladeta Vučković - 1965 - Notre Dame Journal of Formal Logic 6 (3):180-182.
  9.  5
    Almost Recursivity and Partial Degrees.Vladeta Vuckovic - 1974 - Mathematical Logic Quarterly 20 (25‐27):419-426.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Relativized Cylindrification.Vladeta Vuckovic - 1982 - Mathematical Logic Quarterly 28 (8‐12):167-172.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  4
    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  
     
    Bookmark  
  13.  4
    Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7‐10):106-116.
  14.  5
    Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals.Vladeta Vučković - 1970 - Mathematical Logic Quarterly 16 (2):113-121.
  15.  7
    Local Recursive Theory.Vladeta Vučković - 1973 - Notre Dame Journal of Formal Logic 14 (2):237-246.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  4
    On a Class of Regular Sets.Vladeta Vučković - 1964 - Notre Dame Journal of Formal Logic 5 (2):113-124.
  17.  3
    Mathematics of Incompleteness and Undecidability.Vladeta Vučković - 1967 - Mathematical Logic Quarterly 13 (7‐12):123-150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  2
    Combinatorial Operators and Their Quasi-Inverses.Vladeta Vučković - 1971 - Notre Dame Journal of Formal Logic 12 (3):305-308.
  19.  2
    Recursive and Recursively Enumerable Manifolds. I.Vladeta Vučković - 1977 - Notre Dame Journal of Formal Logic 18 (2):265-291.