Spravočnaja kniga po matematičeskoj logike Čast' 4. Teorija dokazatel'stv i konstruktivnaja matematika

Podrobná bibliografia
Médium: Kniha
Jazyk:ruština
angličtina
Vydavateľské údaje: Moskva : Nauka 1983
Téma:
Umiestnenie:
Akademická knižnica Akadémie ozbrojených síl M.R.Štefánika