Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Archiv für mathematische Logik und Grundlagenforschung (1971)
- Volume: 14, page 69-74
- ISSN: 0003-9268
Access Full Article
top
How to cite
topSchütte, Kurt, and Diller, Justus. "Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.." Archiv für mathematische Logik und Grundlagenforschung 14 (1971): 69-74. <http://eudml.org/doc/137850>.
@article{Schütte1971,
author = {Schütte, Kurt, Diller, Justus},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {69-74},
title = {Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.},
url = {http://eudml.org/doc/137850},
volume = {14},
year = {1971},
}
TY - JOUR
AU - Schütte, Kurt
AU - Diller, Justus
TI - Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1971
VL - 14
SP - 69
EP - 74
UR - http://eudml.org/doc/137850
ER -
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.