K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki
By: N.M. Nagornyĭ
Series: Soobshcheni͡ia po prikladnoĭ matematike
Publisher: Vychislitelʹnyĭ ͡tsentr RAN
Published: 1995
Place of publication: Moskva
Language: rus
Number of pages: 25
Subjects: Symbolic and mathematical Logic; Intuitionistic mathematics
Notes: At head of title: Rossiĭska͡ia akademi͡ia nauk. Vychislitelʹnyĭ ͡tsentr.

"Nauchnoe izdanie"--Verso t.p.

Includes bibliographical references (p. 24-25)