Review: A. Mostowski, A Lemma Concerning Recursive Functions and Its Applications [Book Review]

Journal of Symbolic Logic 19 (4):299-300 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267765

Links

PhilArchive



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

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: A. A. Markov, On the Representation of Recursive Functions. [REVIEW]Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (1):66-66.
Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
Review: David Nelson, Recursive Functions and Intuitionistic Number Theory. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):93-94.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
The First-Order Syntax of Variadic Functions.Samuel Alexander - 2013 - Notre Dame Journal of Formal Logic 54 (1):47-59.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Review: Paul Axt, Note on the 3-Recursive Functions. [REVIEW]Rozsa Peter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
Review: Raphael M. Robinson, Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.
Review: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.
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
2013-11-22

Downloads
11 (#1,075,532)

6 months
4 (#698,851)

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