L. I. Rozonoer, “Supplement to the paper: “Proving contradictions in formal theories. I””, Avtomat. i Telemekh., 1985, Issue 4,Page 172

JOURNALS // Avtomatika i Telemekhanika // Archive

Avtomat. i Telemekh., 1985 Issue 4, Page 172 (Mi at6945)

Notes

Supplement to the paper: “Proving contradictions in formal theories. I”

L. I. Rozonoer

Moscow

UDC: 512.93

Received: 23.05.1984

Fulltext: PDF file (90 kB)

Bibliographic databases: