Doklady Akademii Nauk, Tome 147 (1962) no. 5, pp. 1029-1031
Citer cet article
V. A. Matulis. Two variants of the classical predicate calculus without structural inference rules. Doklady Akademii Nauk, Tome 147 (1962) no. 5, pp. 1029-1031. http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a10/
@article{DAN_1962_147_5_a10,
author = {V. A. Matulis},
title = {Two variants of the classical predicate calculus without structural inference rules},
journal = {Doklady Akademii Nauk},
pages = {1029--1031},
year = {1962},
volume = {147},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a10/}
}
TY - JOUR
AU - V. A. Matulis
TI - Two variants of the classical predicate calculus without structural inference rules
JO - Doklady Akademii Nauk
PY - 1962
SP - 1029
EP - 1031
VL - 147
IS - 5
UR - http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a10/
LA - ru
ID - DAN_1962_147_5_a10
ER -
%0 Journal Article
%A V. A. Matulis
%T Two variants of the classical predicate calculus without structural inference rules
%J Doklady Akademii Nauk
%D 1962
%P 1029-1031
%V 147
%N 5
%U http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a10/
%G ru
%F DAN_1962_147_5_a10
