Review: W. P. de Roever, Recursive Program Schemes: Semantics and Proof Theory [Book Review]

Journal of Symbolic Logic 44 (4):658-659 (1979)
  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,829

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: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
Between proof and truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):821-832.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Program extraction for 2-random reals.Alexander P. Kreuzer - 2013 - Archive for Mathematical Logic 52 (5-6):659-666.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
A note on the ω-incompleteness formalization.Sergio Galvan - 1994 - Studia Logica 53 (3):389 - 396.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Kleene's proof of g¨odel's theorem.Peter Smith - unknown
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
Advances in the Theory of Argumentation Schemes and Critical Questions.David Godden & Douglas Walton - 2007 - Informal Logic 27 (3):267-292.
Review: Samuel R. Buss, Handbook of Proof Theory: Hierarchies of Provably Recursive Functions. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,252,744)

6 months
2 (#1,196,523)

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