Works by Vuckovic, V. (exact spelling)

15 found
Order:
  1.  7
    A Model of the Arithmetic of Alephs in the Equation Calculus.V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  47
    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 (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. 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.
  6. 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.
  7.  12
    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.
  8.  19
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    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.
  10.  6
    Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic. [REVIEW]V. Vuckovic - 1968 - Journal of Symbolic Logic 33 (4):618-618.
  11.  9
    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.
  12. 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  
  13.  15
    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.
  14.  14
    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.
  15.  10
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark