RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 1983 Volume 24, Number 3, Pages 136–141 (Mi smj6722)
A calculus with an elementary equivalence quantifier

A. G. Pinus

Novosibirsk Electrotechnical Institute

UDC: 517.11

Received: 20.05.1981


 English version: Siberian Mathematical Journal, 1983, 24:3, 428–432

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026