Search results for 'J.-X. Hao' (try it on Scholar)

10 found
Sort by:
  1. Ann M. Singleterry (1966). Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings. [REVIEW] Journal of Symbolic Logic 31 (3):511-512.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Ann M. Singleterry (1996). Kreisel G., Shoenfield J., and Wang Hao. Number Theoretic Concepts and Recursive Well-Orderings. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 5 (1959), Pp. 42–64. [REVIEW] Journal of Symbolic Logic 31 (3):511-512.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Th Skolem (1951). Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW] Journal of Symbolic Logic 16 (2):145-146.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. J. C. E. Dekker (1962). Review: Hao Wang, Alternative Proof of a Theorem of Kleene. [REVIEW] Journal of Symbolic Logic 27 (1):81-82.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. J. Barkley Rosser (1949). Review: Hao Wang, A New Theory of Element and Number. [REVIEW] Journal of Symbolic Logic 14 (1):69-69.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. J. Barkley Rosser (1951). Review: Hao Wang, Set-Theoretical Basis for Real Numbers. [REVIEW] Journal of Symbolic Logic 16 (3):216-216.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. J. Barkley Rosser (1951). Review: Hao Wang, The Non-Finitizability of Impredicative Principles. [REVIEW] Journal of Symbolic Logic 16 (2):143-144.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. J. C. Shepherdson (1971). Review: G. P. Zykin, Comment on a Theorem of Hao Wang. [REVIEW] Journal of Symbolic Logic 36 (3):534-534.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. J. Barkley Rosser & Hao Wang (1950). Non-Standard Models for Formal Logics. Journal of Symbolic Logic 15 (2):113-129.score: 24.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. J. L. Bell & Hao Wang (1989). Reflections on Kurt Godel. Philosophical Quarterly 39 (154):115.score: 24.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation