Computability and Logic
Bulletin of Symbolic Logic 9 (4):520-521 (2003)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2002 - Cambridge University Press.
George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:271-276.
Review: George Boolos, Richard Jeffrey, Computability and Logic. [REVIEW]Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.
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.
BOOLOS, G. S. and JEFFREY, R. C.: "Computability and Logic". [REVIEW]John Bell - 1977 - British Journal for the Philosophy of Science 28:95.
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - Springer.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
Logic, logic, and logic, by Boolos George, with introductions and afterword by John P. Burgess, edited by Jeffrey Richard, Harvard University Press, Cambridge, Mass., and London, 1998, ix+ 443 pp. [REVIEW]Vann McGee - 2001 - Bulletin of Symbolic Logic 7 (1):58-62.
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
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.
Analytics
Added to PP
2017-02-22
Downloads
0
6 months
0
2017-02-22
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Quantum Information Theory and the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2013 - Oxford University Press.
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
Emergence, Reduction and Supervenience: A Varied Landscape. [REVIEW]Jeremy Butterfield - 2011 - Foundations of Physics 41 (6):920-959.
Everything you always wanted to know about structural realism but were afraid to ask.Roman Frigg & Ioannis Votsis - 2011 - European Journal for Philosophy of Science 1 (2):227-276.
