Semi-effective numberings and definitions of the computable numbers.
Archiv für mathematische Logik und Grundlagenforschung (1967)
- Volume: 11, page 113-125
- ISSN: 0003-9268
Access Full Article
topHow to cite
topMayoh, B.H.. "Semi-effective numberings and definitions of the computable numbers.." Archiv für mathematische Logik und Grundlagenforschung 11 (1967): 113-125. <http://eudml.org/doc/137810>.
@article{Mayoh1967,
author = {Mayoh, B.H.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {recursion theory, constructive mathematics},
pages = {113-125},
title = {Semi-effective numberings and definitions of the computable numbers.},
url = {http://eudml.org/doc/137810},
volume = {11},
year = {1967},
}
TY - JOUR
AU - Mayoh, B.H.
TI - Semi-effective numberings and definitions of the computable numbers.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1967
VL - 11
SP - 113
EP - 125
KW - recursion theory, constructive mathematics
UR - http://eudml.org/doc/137810
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.