Deduction-preserving "Recursive Isomorphisms" between theories
Fundamenta Mathematicae (1967)
- Volume: 61, Issue: 2, page 141-163
- ISSN: 0016-2736
Access Full Article
topHow to cite
topPour-El, Marian, and Kripke, Saul. "Deduction-preserving "Recursive Isomorphisms" between theories." Fundamenta Mathematicae 61.2 (1967): 141-163. <http://eudml.org/doc/213983>.
@article{Pour1967,
author = {Pour-El, Marian, Kripke, Saul},
journal = {Fundamenta Mathematicae},
keywords = {recursion theory, constructive mathematics},
language = {eng},
number = {2},
pages = {141-163},
title = {Deduction-preserving "Recursive Isomorphisms" between theories},
url = {http://eudml.org/doc/213983},
volume = {61},
year = {1967},
}
TY - JOUR
AU - Pour-El, Marian
AU - Kripke, Saul
TI - Deduction-preserving "Recursive Isomorphisms" between theories
JO - Fundamenta Mathematicae
PY - 1967
VL - 61
IS - 2
SP - 141
EP - 163
LA - eng
KW - recursion theory, constructive mathematics
UR - http://eudml.org/doc/213983
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.