|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 1984, Number 4, Pages 67–69
(Mi vmumm3396)
|
|
|
|
Short notes
Completeness of the intuitionistic predicate calculus with the bar notion
A. D. Yashin
Received: 14.10.1982
Citation:
A. D. Yashin, “Completeness of the intuitionistic predicate calculus with the bar notion”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 4, 67–69
Linking options:
https://www.mathnet.ru/eng/vmumm3396 https://www.mathnet.ru/eng/vmumm/y1984/i4/p67
|
|