Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part II, Tome 8 (1968), pp. 211-224
Citer cet article
R. A. Plyushkevitchus. Kanger's variant of predicate calculus with not totally defined functions. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part II, Tome 8 (1968), pp. 211-224. http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a23/
@article{ZNSL_1968_8_a23,
author = {R. A. Plyushkevitchus},
title = {Kanger's variant of predicate calculus with not totally defined functions},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {211--224},
year = {1968},
volume = {8},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a23/}
}
TY - JOUR
AU - R. A. Plyushkevitchus
TI - Kanger's variant of predicate calculus with not totally defined functions
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1968
SP - 211
EP - 224
VL - 8
UR - http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a23/
LA - ru
ID - ZNSL_1968_8_a23
ER -
%0 Journal Article
%A R. A. Plyushkevitchus
%T Kanger's variant of predicate calculus with not totally defined functions
%J Zapiski Nauchnykh Seminarov POMI
%D 1968
%P 211-224
%V 8
%U http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a23/
%G ru
%F ZNSL_1968_8_a23
