Algebra i logika, Tome 6 (1967) no. 6, pp. 21-27
Citer cet article
I. Reznikoff. On independent recursive axiomatisation in intuitionistic logic. Algebra i logika, Tome 6 (1967) no. 6, pp. 21-27. http://geodesic.mathdoc.fr/item/AL_1967_6_6_a1/
@article{AL_1967_6_6_a1,
author = {I. Reznikoff},
title = {On independent recursive axiomatisation in intuitionistic logic},
journal = {Algebra i logika},
pages = {21--27},
year = {1967},
volume = {6},
number = {6},
language = {en},
url = {http://geodesic.mathdoc.fr/item/AL_1967_6_6_a1/}
}
TY - JOUR
AU - I. Reznikoff
TI - On independent recursive axiomatisation in intuitionistic logic
JO - Algebra i logika
PY - 1967
SP - 21
EP - 27
VL - 6
IS - 6
UR - http://geodesic.mathdoc.fr/item/AL_1967_6_6_a1/
LA - en
ID - AL_1967_6_6_a1
ER -
%0 Journal Article
%A I. Reznikoff
%T On independent recursive axiomatisation in intuitionistic logic
%J Algebra i logika
%D 1967
%P 21-27
%V 6
%N 6
%U http://geodesic.mathdoc.fr/item/AL_1967_6_6_a1/
%G en
%F AL_1967_6_6_a1
