Problemy razreshimosti i konstruktivnye modeli.
Series: Matematicheskai︠a︡ logika i osnovanii︠a︡ matematiki
Publisher: Nauka
Published: 1980
Place of publication: Moskva
Language: rus
Number of pages: 415