Obálka

Issledovanija po teorii dokazatel'stv

Podrobná bibliografie
Hlavní autor: Kreisel, G.
Médium: Kniha
Jazyk:ruština
angličtina
Vydáno: Moskva : Mir 1981
Témata:
matematická logika
zborníky
Umístění:
AOSLM