Computability and Logic

&
British Journal for the Philosophy of Science 28 (1):95-95 (1977)
  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

  • This entry has no external links. Add one.
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

Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Soundness and completeness of the Cirquent calculus system CL6 for computability logic.Wenyan Xu & Sanyang Liu - 2012 - Logic Journal of the IGPL 20 (1):317-330.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Computability and Logic.Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Review: George Boolos, Richard Jeffrey, Computability and Logic. [REVIEW]Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - Springer.
Review of George S. Boolos, John P. Burgess and Richard C. Jeffrey: Computability and Logic. [REVIEW]John Bell - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:271-276.
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.
Review: Dimiter G. Skordev, Computability in Combinatory Spaces. An Algebraic Generalization of Abstract First Order Computability. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
Lattice representations for computability theory.Peter A. Fejer - 1998 - Annals of Pure and Applied Logic 94 (1-3):53-74.
Computability and Randomness.André Nies - 2008 - Oxford, England: Oxford University Press.
The taming of recurrences in computability logic through cirquent calculus, Part II.Giorgi Japaridze - 2013 - Archive for Mathematical Logic 52 (1-2):213-259.

Analytics

Added to PP
2017-02-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The Rationality of Science.W. Newton-Smith - 1981 - Boston: Routledge.
Making AI Meaningful Again.Jobst Landgrebe & Barry Smith - 2021 - Synthese 198 (March):2061-2081.
Against Logicist Cognitive Science.Mike Oaksford & Nick Chater - 1991 - Mind and Language 6 (1):1-38.

View all 113 citations / Add more citations

References found in this work

No references found.

Add more references