Formal Systems and Recursive Functions [Book Review]

Review of Metaphysics 19 (1):161-162 (1965)
  Copy   BIBTEX

Abstract

This is a collection of papers read at an international logic colloquium held at Oxford in 1963. The first half contains articles on intuitionistic and modal logics, the propositional calculus, and languages with infinitely long expressions by such logicians as Kripke, Bull, Harrop, and Tait. The second part is primarily concerned with recursive functions and features a monograph by Crossley on constructive order types, as well as contributions by Goodstein, Schütte, and Wang, among others. Especially noteworthy is Kripke's paper which applies Cohen's methods to the semantics of intuitionistic logic.—P. J. M.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Formal systems and recursive functions.John N. Crossley & Michael Dummett (eds.) - 1965 - Amsterdam,: North-Holland Pub. Co..
A Conjecture on Numeral Systems.Karim Nour - 1997 - Notre Dame Journal of Formal Logic 38 (2):270-275.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
Existence in Le'sniewski and Russell.Arthur Prior - 1965 - In J. Crossley (ed.), Formal Systems and Recursive Functions. North-Holland. pp. 149-155.
a~ CLfa, CNLPa~ CLELpcpfia, CLELfiNCPfa, 2).Ca1Ca Camy - 1965 - In John N. Crossley & Michael A. E. Dummett (eds.), Formal Systems and Recursive Functions. Amsterdam: North-Holland Pub. Co.. pp. 1963--3.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Tennenbaum's Theorem and Unary Functions.Sakae Yaegasi - 2008 - Notre Dame Journal of Formal Logic 49 (2):177-183.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
Some restrictions on simple fixed points of the integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.

Analytics

Added to PP
2012-03-18

Downloads
21 (#630,965)

6 months
1 (#1,040,386)

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