Some classes of recursive functions
- Publisher: Instytut Matematyczny Polskiej Akademi Nauk(Warszawa), 1953
Access Full Book
top
Abstract
topHow to cite
topGrzegorczyk, Andrzej. Some classes of recursive functions. Warszawa: Instytut Matematyczny Polskiej Akademi Nauk, 1953. <http://eudml.org/doc/219317>.
@book{Grzegorczyk1953,
abstract = {Introduction§ 1. Preliminary notions§ 2. Elementary functions§ 3. Classes based on limited recursion§ 4. Classes Є n§ 5. Applications of the class Є n},
author = {Grzegorczyk, Andrzej},
keywords = {foundations of mathematics, philosophy, logic},
language = {eng},
location = {Warszawa},
publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
title = {Some classes of recursive functions},
url = {http://eudml.org/doc/219317},
year = {1953},
}
TY - BOOK
AU - Grzegorczyk, Andrzej
TI - Some classes of recursive functions
PY - 1953
CY - Warszawa
PB - Instytut Matematyczny Polskiej Akademi Nauk
AB - Introduction§ 1. Preliminary notions§ 2. Elementary functions§ 3. Classes based on limited recursion§ 4. Classes Є n§ 5. Applications of the class Є n
LA - eng
KW - foundations of mathematics, philosophy, logic
UR - http://eudml.org/doc/219317
ER -
Citations in EuDML Documents
top- Bernard Jaulin, Sur un aspect du calcul
- Martine Paget, Propriétés de complexité pour une famille d'algorithmes de Markov
- Philippe Flajolet, Jean-Marc Steyaert, Une généralisation de la notion d'ensemble immune
- E. Fachini, A. Maggiolo-Schettini, A hierarchy of primitive recursive sequence functions
- Teresa Bigorajska, Henryk Kotlarski, James Schmerl, On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
- Jiří Bečvář, Real-time and complexity problems in automata theory
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.