V. N. Krivtsov, “A type of formal negationless systems”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, Number 2,Pages <nobr>27

RUS ENG

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984 Number 2, Pages 27–31 (Mi vmumm3334)

Mathematics

A type of formal negationless systems

V. N. Krivtsov

UDC: 517.11

Received: 09.04.1982

Bibliographic databases: