Logic Machines

Journal of Symbolic Logic 17 (3):217-217 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267720

Links

PhilArchive



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

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

Logic machines and diagrams.Martin Gardner - 1958 - Chicago: University of Chicago Press.
Logic machines, diagrams and Boolean algebra.Martin Gardner - 1958 - New York,: Dover Publications.
Review: Martin Gardner, Logic Machines and Diagrams. [REVIEW]W. Mays - 1959 - Journal of Symbolic Logic 24 (1):78-79.
Review: Martin Gardner, Logic Machines. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (3):217-217.
Review: A. M. Barzdin, On a Class of Turing Machines (Minsky Machines). [REVIEW]David S. Tartakoff - 1967 - Journal of Symbolic Logic 32 (4):523-524.
Undecidability over Continuous Time.Jerzy Mycka & José Félix Costa - 2006 - Logic Journal of the IGPL 14 (5):649-658.
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.
Even Turing machines can compute uncomputable functions.Jack Copeland - unknown
Logic, Computing Machines, and Automation.Alice Mary Hilton - 2021 - New York, NY, USA: Hassell Street Press.
Post’s Problem for ordinal register machines: An explicit approach.Joel David Hamkins & Russell G. Miller - 2009 - Annals of Pure and Applied Logic 160 (3):302-309.
Decidable properties for monadic abstract state machines.Daniele Beauquier - 2006 - Annals of Pure and Applied Logic 141 (3):308-319.
The Mechanism and Freedom of Logic.Granville C. Henry - 1993 - Upa.
Choiceless polynomial time.Andreas Blass, Yuri Gurevich & Saharon Shelah - 1999 - Annals of Pure and Applied Logic 100 (1-3):141-187.
Hypermachines.Sy-David Friedman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):620 - 636.
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,085,484)

6 months
3 (#976,558)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Periods in the Use of Euler-type Diagrams.Jens Lemanski - 2017 - Acta Baltica Historiae Et Philosophiae Scientiarum 5 (1):50-69.
Logic Diagrams in the Weigel and Weise Circles.Jens Lemanski - 2018 - History and Philosophy of Logic 39 (1):3-28.

Add more citations

References found in this work

No references found.

Add more references