Export byl úspěšný — 
Obálka

Issledovanija po teorii dokazatel'stv : sbornik statej

Podrobná bibliografie
Hlavní autor: Kreisel, G. (Autor)
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