Recursive techniques in programming, de DW Barron

Teorema: International Journal of Philosophy 2 (5):136-138 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Similar books and articles

Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
Combinatory reduction systems.Jan Willem Klop - 1980 - Amsterdam: Mathematisch centrum.
A study on universal functions.Bruno Buchberger - 1972 - Innsbruck, Austria: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung, Universität Innsbruck. Edited by Bernhard Roider.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
Fragments of $HA$ based on $\Sigma_1$ -induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.

Analytics

Added to PP
2014-02-11

Downloads
6 (#1,389,828)

6 months
1 (#1,459,555)

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