Recursively enumerable classes and their application to recursive sequences of formal theories.
Boykan Pour-El; Marian; Hilary Putnam
Archiv für mathematische Logik und Grundlagenforschung (1965)
- Volume: 8, page 104-121
- ISSN: 0003-9268
Access Full Article
top
How to cite
topPour-El, Boykan, Marian, and Putnam, Hilary. "Recursively enumerable classes and their application to recursive sequences of formal theories.." Archiv für mathematische Logik und Grundlagenforschung 8 (1965): 104-121. <http://eudml.org/doc/137783>.
@article{Pour1965,
author = {Pour-El, Boykan, Marian, Putnam, Hilary},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {104-121},
title = {Recursively enumerable classes and their application to recursive sequences of formal theories.},
url = {http://eudml.org/doc/137783},
volume = {8},
year = {1965},
}
TY - JOUR
AU - Pour-El, Boykan
AU - Marian
AU - Putnam, Hilary
TI - Recursively enumerable classes and their application to recursive sequences of formal theories.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1965
VL - 8
SP - 104
EP - 121
UR - http://eudml.org/doc/137783
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.