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

13 found
Order:
  1.  3
    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.
  2.  1
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  1
    J. L. Bell (1989). Hao Wang, "Reflections on Kurt Gödel". [REVIEW] Philosophical Quarterly 39 (54):115.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    J. Barkley Rosser (1951). Review: Hao Wang, Set-Theoretical Basis for Real Numbers. [REVIEW] Journal of Symbolic Logic 16 (3):216-216.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  1
    J. Barkley Rosser (1951). Review: Hao Wang, The Non-Finitizability of Impredicative Principles. [REVIEW] Journal of Symbolic Logic 16 (2):143-144.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  1
    J. C. E. Dekker (1962). Review: Hao Wang, Alternative Proof of a Theorem of Kleene. [REVIEW] Journal of Symbolic Logic 27 (1):81-82.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    J. Barkley Rosser (1949). Review: Hao Wang, A New Theory of Element and Number. [REVIEW] Journal of Symbolic Logic 14 (1):69-69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. J. C. Shepherdson (1971). Review: G. P. Zykin, Comment on a Theorem of Hao Wang. [REVIEW] Journal of Symbolic Logic 36 (3):534-534.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    G. Kreisel, J. Shoenfield & Hao Wang (1966). Number Theoretic Concepts and Recursive Well-Orderings. Journal of Symbolic Logic 31 (3):511-512.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  11.  1
    J. L. Bell & Hao Wang (1989). Reflections on Kurt Godel. Philosophical Quarterly 39 (154):115.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  10
    J. Barkley Rosser & Hao Wang (1950). Non-Standard Models for Formal Logics. Journal of Symbolic Logic 15 (2):113-129.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13. Hao Wang, Robert Mcnaughton, Jaakko Hintikka & J. Barkley Rosser (1955). Les Systèmes Axiomiatiques de la Théorie des Ensembles. Gauthier-Villars.
    Translate
     
     
    Export citation  
     
    My bibliography