Obálka

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

Podrobná bibliografie
Médium: Kniha
Jazyk:ruština
angličtina
Vydáno: Moskva : Nauka 1983
Témata:
matematická logika
Umístění:
AOSLM