RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1976 Volume 226, Number 1, Pages 61–64 (Mi dan39690)

This article is cited in 3 papers

MATHEMATICS

Some variants of the notion of realizability for predicate formulas

V. E. Plisko


UDC: 517.12

Presented: Yu. V. Prokhorov
Received: 26.06.1975



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026