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

  1. M. I. Mendelev, M. J. Kramer, S. G. Hao, K. M. Ho & C. Z. Wang (2012). Development of Interatomic Potentials Appropriate for Simulation of Liquid and Glass Properties of NiZr2alloy. Philosophical Magazine 92 (35):4454-4469.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. M. I. Mendelev, M. J. Kramer, S. G. Hao, K. M. Ho & C. Z. Wang (2012). Computer Simulation of the Structure of MZr2liquid and Amorphous Alloys. Philosophical Magazine 92 (33):4098-4112.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  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.
  4.  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  
  5. John P. Burgess (1985). Boolos George. The Iterative Conception of Set. The Journal of Philosophy, Vol. 68 , Pp. 215–231.Scott Dana. Axiomatizing Set Theory. Axiomatic Set Theory, Edited by Jech Thomas J., Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence 1974, Pp. 207–214.Reinhardt W. N.. Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings. Axiomatic Set Theory, Edited by Jech Thomas J., Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence 1974, Pp. 189–205.Reinhardt W. N.. Set Existence Principles of Shoenfield, Ackermann, and Powell. Fundament a Mathematicae, Vol. 84 , Pp. 5–34.Wang Hao. Large Sets. Logic, Foundations of Mathematics, and Computahility Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, Edited by Butts Robert E. And Hintikka Jaakko, The University of Western Ontario S. [REVIEW] Journal of Symbolic Logic 50 (2):544-547.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. C. C. Elgot (1962). Wang Hao. Symbolic Representations of Calculating Machines. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 181–188. [REVIEW] Journal of Symbolic Logic 27 (1):103.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. Elliott Mendelson (1965). Wang Hao. Process and Existence in Mathematics. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. For The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 328–351. [REVIEW] Journal of Symbolic Logic 30 (2):244.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. 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  
  9. Th Skolem (1951). Rosser J. Barkley and Wang Hao. Non-Standard Models for Formal Logics. Journal of Symbolic Logic 16 (2):145-146.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  3
    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  
  11.  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  
  12.  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  
  13.  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  
  14.  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  
  15. J. C. E. Dekker (1962). Wang Hao. Alternative Proof of a Theorem of Kleene. Journal of Symbolic Logic 27 (1):81-82.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. J. Barkley Rosser (1949). Wang Hao. A New Theory of Element and Number. Journal of Symbolic Logic 14 (1):69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. J. Barkley Rosser (1951). Wang Hao. Set-Theoretical Basis for Real Numbers. Journal of Symbolic Logic 16 (3):216.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. J. Barkley Rosser (1951). Wang Hao. The Non-Finitizability of Impredicalive Principles. Proceedings of the National Academy of Sciences of the United States of America, Vol. 36 , Pp. 479–484. [REVIEW] Journal of Symbolic Logic 16 (2):143-144.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. 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  
  20. J. C. Shepherdson (1971). Zykin G. P.. Zaméčanié Ob Odnoj Téorémé Hao Vana . Algébra I Logika, Séminar, Vol. 2 No. 1 , Pp. 33–35. Journal of Symbolic Logic 36 (3):534.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    G. Kreisel, J. Shoenfield & Hao Wang (1966). Number Theoretic Concepts and Recursive Well-Orderings. Journal of Symbolic Logic 31 (3):511-512.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  22.  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  
  23.  10
    J. Barkley Rosser & Hao Wang (1950). Non-Standard Models for Formal Logics. Journal of Symbolic Logic 15 (2):113-129.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  24. 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  
  25. Nothing found.