Levin Nathan P.. Computational logic

Journal of Symbolic Logic 15 (1):69-69 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268462

Links

PhilArchive



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

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: Nathan P. Levin, Computational Logic. [REVIEW]Frederic B. Fitch - 1950 - Journal of Symbolic Logic 15 (1):69-69.
Computational logic.Nathan P. Levin - 1949 - Journal of Symbolic Logic 14 (3):167-172.
An Extension of Computational Logic.Frederic B. Fitch & Alan Rose - 1952 - Journal of Symbolic Logic 17 (3):204.
Rose Alan. An extension of computational logic.Frederic B. Fitch - 1952 - Journal of Symbolic Logic 17 (3):203-204.
Quantum computational logic with mixed states.Hector Freytes & Graciela Domenech - 2013 - Mathematical Logic Quarterly 59 (1-2):27-50.
Constraints in Computational Logics First International Conference, Ccl '94, Munich, Germany, September 7-9, 1994 : Proceedings'.J. Jouannaud & Esprit Basic Research Action "Construction of Computational Logic" - 1994
Logic and Computational Complexity International Workshop Lcc '94, Indianapolis, in, Usa, October 13-16, 1994 : Selected Papers'.Daniel Leivant - 1995 - Springer Verlag.
Computational Limitations of Small-depth Circuits.Johan Håstad - 1987 - MIT Press.
Fitch’s Paradox and Probabilistic Antirealism.Igor Douven - 2007 - Studia Logica 86 (2):149-182.
Distributed Knowability and Fitch’s Paradox.Rafał Palczewski - 2007 - Studia Logica 86 (3):455-478.
Computational model theory: an overview.M. Vardi - 1998 - Logic Journal of the IGPL 6 (4):601-624.
Characterization of realizable space complexities.Joel I. Seiferas & Albert R. Meyer - 1995 - Annals of Pure and Applied Logic 73 (2):171-190.
The Computational Complexity of Quantified Reciprocals.Jakub Szymanik - 2009 - In Peter Bosch, David Gabelaia & Jérôme Lang (eds.), Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation. Springer.
Perspektiven der Dialogik: Zürcher Kolloquium zum 80. Geburtstag von Hermann Levin Goldschmidt.Willi Goetschel - 1994
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,079,336)

6 months
2 (#1,187,206)

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