Review: W. Mays, Mechanized Reasoning; D. M. McCallum, J. B. Smith, The Authors Reply [Book Review]

Journal of Symbolic Logic 18 (1):68-69 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266335

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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

D. B. McCallum and J. B. Smith. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 , pp. 126–133. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-77.
Review: D. M. McCallum, J. B. Smith, Feedback Logical Computors. [REVIEW]George W. Patterson - 1953 - Journal of Symbolic Logic 18 (1):68-68.
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
Review: W. Mays, D. P. Henry, Jevons and Logic. [REVIEW]George W. Patterson - 1958 - Journal of Symbolic Logic 23 (1):62-63.
Review: W. Mays, The First Circuit for an Electrical Logic-Machine. [REVIEW]George W. Patterson - 1957 - Journal of Symbolic Logic 22 (2):221-222.
Review: W. Mays, C. E. M. Hansel, D. P. Henry, Note on the Exhibition of Logical Machines at the Joint Session, July 1950. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-78.
A set theory with support for partial functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
Reply to note by W. P. D. Wightman.W. Mays - 1960 - British Journal for the Philosophy of Science 11 (44):336.
Normative marketing ethics redux, incorporating a reply to Smith.John F. Gaski - 2001 - Journal of Business Ethics 32 (1):19 - 34.
Some Clarifications about the Argumentative Theory of Reasoning. A Reply to Santibáñez Yañez (2012).Hugo Mercier - 2012 - Informal Logic 32 (2):259-268.
The dangers of using safety to explain transmission failure: A reply to Martin Smith.Chris Tucker - 2012 - Episteme 9 (4):393-406.
Hegel Decoder: A Reply to Smith's 'Reply'.John Rosenthal - 2001 - Historical Materialism 9 (1):111-151.
Review: Reply to Smith. [REVIEW]Shadia B. Drury - 2007 - Political Theory 35 (1):73 - 74.

Analytics

Added to PP
2013-11-22

Downloads
12 (#1,109,823)

6 months
2 (#1,250,447)

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