Wilfried Sieg. Step by recursive step: Church's analysis of effective calculability. The bulletin of symbolic logic, vol. 3 , pp. 154–180 [Book Review]

Journal of Symbolic Logic 64 (1):398-399 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586775

Links

PhilArchive



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

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: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability. [REVIEW]Stewart Shapiro - 1999 - Journal of Symbolic Logic 64 (1):398-399.
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.
Church Without Dogma: Axioms for Computability.Wilfried Sieg - unknown
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Formal Systems, properties of.Wilfried Sieg - 1950 - Bulletin of Symbolic Logic 3:154-180.
Of the association for symbolic logic.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3-4):503.
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.
A graphical presentation of Gandy's parallel machines'.John Byrnes & Wilfried Sieg - 1996 - Bulletin of Symbolic Logic 2:452-3.
Reviewed Work: David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW]Review by: Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365,.
Reductions of Theories for Analysis.Wilfried Sieg, Georg Dorn & P. Weingartner - 1990 - Journal of Symbolic Logic 55 (1):354-354.
David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. [REVIEW]Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365.
Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
Review: Wilfried Sieg, Georg Dorn, P. Weingartner, Reductions of Theories for Analysis. [REVIEW]Peter Clote - 1990 - Journal of Symbolic Logic 55 (1):354-354.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Fragments of Arithmetic.Wilfried Sieg - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,187,905)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references