Review: Moh Shaw-Kwei, On the Explicit Form of General Recursive Functions [Book Review]

Journal of Symbolic Logic 25 (2):183-183 (1960)
  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,386

External links

  • This entry has no external links. Add one.
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: Moh Shaw-Kwei, On the Explicit Form of Number-Theoretic Functions. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Review: Moh Shaw-Kwei, On the Definition of Primitive Recursive Functions. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Review: Moh Shaw-Kwei, About the Rules of Procedure. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Review: Moh Shaw-Kwei, Axiomatization of Many-Valued Logical Systems. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):181-182.
Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.
Review: Moh Shaw-Kwei, Simplified Introduction to Intuitionistic Logic. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):181-181.
Review: Moh Shaw-Kwei, The Deduction Theorems and Two New Logical Systems. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (2):153-154.
Review: Moh Shaw-Kwei, A Note on the Theory of Quantification. [REVIEW]Václav Edvard Beneš - 1953 - Journal of Symbolic Logic 18 (2):179-180.
Review: Moh Shaw-Kwei, Modal Systems with a Finite Number of Modalities. [REVIEW]Naoto Yonemitsu - 1960 - Journal of Symbolic Logic 25 (2):183-184.
A theory of rules for enumerated classes of functions.Andreas Schlüter - 1995 - Archive for Mathematical Logic 34 (1):47-63.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
On a complexity-based way of constructivizing the recursive functions.F. W. Kroon & W. A. Burkhard - 1990 - Studia Logica 49 (1):133 - 149.

Analytics

Added to PP
2013-11-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references