Results for 'J.-X. Hao'

27 found
Order:
  1.  7
    Geographic Variations in Electronic Cigarette Advertisements on Twitter in the United States.Hongying Dai, Michael J. Deem & Jianqiang Hao - forthcoming - International Journal of Public Health.
  2. Development of Interatomic Potentials Appropriate for Simulation of Liquid and Glass Properties of NiZr2alloy.M. I. Mendelev, M. J. Kramer, S. G. Hao, K. M. Ho & C. Z. Wang - 2012 - Philosophical Magazine 92 (35):4454-4469.
  3. Computer Simulation of the Structure of MZr2liquid and Amorphous Alloys.M. I. Mendelev, M. J. Kramer, S. G. Hao, K. M. Ho & C. Z. Wang - 2012 - Philosophical Magazine 92 (33):4098-4112.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
  5. 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]John P. Burgess - 1985 - Journal of Symbolic Logic 50 (2):544-547.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  1
    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]Ann M. Singleterry - 1996 - Journal of Symbolic Logic 31 (3):511-512.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. 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]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103.
  8. 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]Elliott Mendelson - 1965 - Journal of Symbolic Logic 30 (2):244.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
  10. Rosser J. Barkley and Wang Hao. Non-Standard Models for Formal Logics.Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    Hao Wang, "Reflections on Kurt Gödel". [REVIEW]J. L. Bell - 1989 - Philosophical Quarterly 39 (54):115.
  12.  1
    Review: Hao Wang, Set-Theoretical Basis for Real Numbers. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (3):216-216.
  13.  1
    Review: Hao Wang, The Non-Finitizability of Impredicative Principles. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (2):143-144.
  14.  1
    Review: Hao Wang, Alternative Proof of a Theorem of Kleene. [REVIEW]J. C. E. Dekker - 1962 - Journal of Symbolic Logic 27 (1):81-82.
  15.  1
    Review: Hao Wang, A New Theory of Element and Number. [REVIEW]J. Barkley Rosser - 1949 - Journal of Symbolic Logic 14 (1):69-69.
  16. Wang Hao. Alternative Proof of a Theorem of Kleene.J. C. E. Dekker - 1962 - Journal of Symbolic Logic 27 (1):81-82.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Wang Hao. A New Theory of Element and Number.J. Barkley Rosser - 1949 - Journal of Symbolic Logic 14 (1):69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Wang Hao. Set-Theoretical Basis for Real Numbers.J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (3):216.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. 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]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (2):143-144.
  20. Review: G. P. Zykin, Comment on a Theorem of Hao Wang. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534-534.
  21. 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.J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  5
    Number Theoretic Concepts and Recursive Well-Orderings.G. Kreisel, J. Shoenfield & Hao Wang - 1966 - Journal of Symbolic Logic 31 (3):511-512.
  23.  2
    Reflections on Kurt Godel.J. L. Bell & Hao Wang - 1989 - Philosophical Quarterly 39 (154):115.
  24.  10
    Non-Standard Models for Formal Logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.
  25. The Iterative Conception of Set.Boolos George, Scott Dana, J. Jech Thomas, W. N. Reinhardt & Wang Hao - 1985 - Journal of Symbolic Logic 50 (2):544-547.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  26. Non-Standard Models for Formal Logics.Rosser J. Barkley & Wang Hao - 1951 - Journal of Symbolic Logic 16 (2):145-146.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27. Les Systèmes Axiomiatiques de la Théorie des Ensembles.Hao Wang, Robert Mcnaughton, Jaakko Hintikka & J. Barkley Rosser - 1955 - Gauthier-Villars.
    Translate
     
     
    Export citation  
     
    My bibliography