Popis: Teorija dokazatělstv i konstruktivnaja matematika.

Uloženo v:

Podrobná bibliografie
Typ dokumentu:	Kniha
Jazyk:	Ruština
Vydáno:	Moskva : Nauka, 1983.
Témata:	matematická logika predikátová logika matematické důkazy matematika mathematical proofs mathematical logic predicate calculus mathematics monografie monographs

Popis
Fyzický popis:	391 s.