Obálka

Issledovanija po teorii dokazatel'stv : sbornik statej

Podrobná bibliografie
Hlavní autoři: Kreisel, G. (Autor), G. Krajzel' ; perevod s anglijskogo Ju. A. Gasteva i G. Je. Minca ; pod redakcijej S. Ju. Maslova
Další autoři: Gastev, Ju. A. (Překladatel), Minc, G. Je. (Překladatel), Maslov, S. Ju. (Editor)
Typ dokumentu: Kniha
Jazyk:ruština
Rok: Moskva : Mir, 1981
Edice:Matematika
Témata:
matematické teorie