Matematika, Tome 15 (1971) no. 6, pp. 159-166
Citer cet article
S. Feferman; C. Spector. Incompleteness along paths in progressions of theories. Matematika, Tome 15 (1971) no. 6, pp. 159-166. http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/
@article{MAT_1971_15_6_a6,
author = {S. Feferman and C. Spector},
title = {Incompleteness along paths in progressions of theories},
journal = {Matematika},
pages = {159--166},
year = {1971},
volume = {15},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/}
}
TY - JOUR
AU - S. Feferman
AU - C. Spector
TI - Incompleteness along paths in progressions of theories
JO - Matematika
PY - 1971
SP - 159
EP - 166
VL - 15
IS - 6
UR - http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/
LA - ru
ID - MAT_1971_15_6_a6
ER -
%0 Journal Article
%A S. Feferman
%A C. Spector
%T Incompleteness along paths in progressions of theories
%J Matematika
%D 1971
%P 159-166
%V 15
%N 6
%U http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/
%G ru
%F MAT_1971_15_6_a6
