Review: Hao Wang, Logic and Computers [Book Review]

Journal of Symbolic Logic 31 (2):264-264 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: John W. Carr., Languages, Logic, Learning, and Computers. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (3):256-257.
Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
Logic, computers, and sets.Hao Wang - 1962 - New York,: Chelsea Pub. Co..
Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
Review: Hao Wang, Symbolic Representations of Calculating Machines. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Review: Yueh-Lin Chin, Logic. [REVIEW]Shianghaw Wang - 1949 - Journal of Symbolic Logic 14 (2):125-126.
Review: Wang Hao, Popular Lectures on Mathematical Logic. [REVIEW]H. Hermes - 1982 - Journal of Symbolic Logic 47 (4):908-909.
Review: Eugene Shen, Logic. [REVIEW]Hao Wang - 1948 - Journal of Symbolic Logic 13 (4):215-216.
Review: Hao Wang, A survey of Mathematical logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
Review: Hao Wang, A Formal System of Logic. [REVIEW]Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
Review: Hao Wang, Logic of Many-Sorted Theories. [REVIEW]Arnold Schmidt - 1953 - Journal of Symbolic Logic 18 (1):77-77.
Review: Hao Wang, Logic, Computation and Philosophy. [REVIEW]Georg Kreisel - 1974 - Journal of Symbolic Logic 39 (2):358-359.
Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers. [REVIEW]A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.
Review: Moh Shaw-Kwei, Simplified Introduction to Intuitionistic Logic. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):181-181.
Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.

Analytics

Added to PP
2013-11-22

Downloads
7 (#1,360,984)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references