RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984 Number 4, Pages 67–69 (Mi vmumm3396)
Short notes

Completeness of the intuitionistic predicate calculus with the bar notion

A. D. Yashin


UDC: 517.11

Received: 14.10.1982



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025