34 found
Order:
Disambiguations
Julia Robinson [33]Julia W. Robinson [1]Julian Robinson [1]
See also
Julia Robinson
Shippensburg University
  1.  12
    Paul Lorenzen. Metamathematik. B·I-Hochschultaschenbücher, Vol. 25. Bibliographisches Institut, Mannheim1962, 173 Pp.Julia Robinson - 1966 - Journal of Symbolic Logic 31 (1):106-106.
  2.  10
    Martin Davis and Hilary Putnam. Reductions of Hilbert's Tenth Problem. The Journal of Symbolic Logic, Vol. 23 No. 2 , Pp. 183–187.Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):601.
  3. Definability and Decision Problems in Arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
  4.  7
    Robert McNaughton. Undefinability of Addition From One Unary Operator. Transactions of the American Mathematical Society, Vol. 117 , Pp. 329–337. [REVIEW]Julia Robinson - 1966 - Journal of Symbolic Logic 31 (2):270.
  5.  6
    Ú. V. Matiásévič Diofantovost' Péréčislimyh Množéstv. Doklady Akadémii Nauk SSSR, Vol. 191 , Pp. 279–282. - Ju. V. Matijasevič. Enumerable Sets Are Diophantine. English Translation of the Preceding by A. Doohovskoy. Soviet Mathematics, Vol. 11 No. 2 , Pp. 354–357. See Errata, Ibid., Vol. 11 No. 6 , P. Vi. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
  6.  13
    The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
  7.  8
    General Recursive Functions.Julia Robinson - 1951 - Journal of Symbolic Logic 16 (4):280-280.
  8.  4
    Existential Definability in Arithmetic.Julia Robinson - 1955 - Journal of Symbolic Logic 20 (2):182-183.
  9. Recursive Functions of One Variable.Julia Robinson - 1970 - Journal of Symbolic Logic 35 (3):476-476.
  10.  7
    Review: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
  11. The Undecidability of Algebraic Rings and Fields.Julia Robinson - 1964 - Journal of Symbolic Logic 29 (1):57-58.
  12.  14
    The Undecidability of Exponential Diophantine Equations.Hartley Rogers & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):152.
  13.  11
    Craig William and Quine W. V.. On Reduction to a Symmetric Relation.Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Review: H. Lauchli, J. Leonard, On the Elementary Theory of Linear Order. [REVIEW]Julia Robinson - 1968 - Journal of Symbolic Logic 33 (2):287-287.
     
    Export citation  
     
    Bookmark  
  15.  22
    An Introduction to Hyperarithmetical Functions.Julia Robinson - 1967 - Journal of Symbolic Logic 32 (3):325-342.
  16.  9
    Church Alonzo and Quine W. V.. Some Theorems on Definability and Decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
  17.  9
    Nerode A.. A Decision Method for P-Adic Integral Zeros of Diophantine Equations. Bulletin of the American Mathematical Society, Vol. 69 , Pp. 513–517. [REVIEW]Julia Robinson - 1965 - Journal of Symbolic Logic 30 (3):391-391.
  18. Review: A. Nerode, A Decision Method for P-Adic Integral Zeros of Diophantine Equations. [REVIEW]Julia Robinson - 1965 - Journal of Symbolic Logic 30 (3):391-391.
  19.  9
    Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets Are Diophantine. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
  20.  11
    Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
  21.  6
    Davis Martin. Applications of Recursive Function Theory to Number Theory. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 135–138. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  6
    Kleene S. C.. Mathematical Logic: Constructive and Non-Constructive Operations. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press 1960, Pp. 137–153. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
  23.  6
    Läuchli H. And Leonard J.. On the Elementary Theory of Linear Order. Fundamenta Mathematicae, Vol. 59 , Pp. 109–116.Julia Robinson - 1968 - Journal of Symbolic Logic 33 (2):287-287.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    1688 and 1789 From the Viewpoint of 1830.Julian Robinson - 1989 - History of European Ideas 11 (1-6):189-196.
  25.  5
    Church Alonzo. Binary Recursive Arithmetic. Journal de Mathématiques Pures Et Appliquées, Ser. 9 Vol. 36 , Pp. 39–55.Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  6
    Review: Martin Davis, Application of Recursive Function Theory to Number Theory. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):602-602.
  27.  4
    On the Decision Problem for Algebraic Rings.Julia Robinson, Gabor Szego, Charles Loewner, Stefan Bergman, Menahem Max Schiffer & Jerzy Neyman - 1970 - Journal of Symbolic Logic 35 (3):475-476.
  28.  4
    Review: William Craig, W. V. Quine, On Reduction to a Symmetric Relation. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
  29.  1
    Church Alonzo. An Independence Question in Recursive Arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, Edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, Pp. 21–26. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  1
    Review: Paul Lorenzen, Metamathematik. [REVIEW]Julia Robinson - 1966 - Journal of Symbolic Logic 31 (1):106-106.
  31. The Discipline of Architecture.Andrzej Piotrowski & Julia W. Robinson - 2001
     
    Export citation  
     
    Bookmark  
  32. Definability and Decision Problems in Arithmetic.Julia Robinson - 1950 - Journal of Symbolic Logic 15 (1):68-69.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Review: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
  34. Review: Alonzo Church, Binary Recursive Arithmetic. [REVIEW]Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.