Konstruktivnai︠a︡ matematicheskai︠a︡ logika s tochki zrenii︠a︡ klassicheskoĭ
By: P. S. Novikov
Series: Matematicheskai͡a logika i osnovanii͡a matematiki
Publisher: "Nauka"
Published: 1977
Place of publication: Moskva
Language: rus
Number of pages: 328
Subjects: Symbolic and mathematical Logic
Notes: Romanized record.

Bibliography: p. [318]-320.

Includes indexes.