RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 1990 Volume 31, Number 1, Pages 150–160 (Mi smj3421)
Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order

A. Tauts


UDC: 510.64

Received: 28.01.1987


 English version: Siberian Mathematical Journal, 1990, 31:1, 128–136

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024