RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 1969 Volume 8, Number 1, Pages 76–92 (Mi al1184)

Nonregular first order predicate calculus

A. Tauts


UDC: 517.12

Received: 05.11.1968



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024