Spravočnaja kniga po matematičeskoj logike Čast' 4. Teorija dokazatel'stv i konstruktivnaja matematika
| Médium: | Kniha |
|---|---|
| Jazyk: | ruština angličtina |
| Vydavateľské údaje: |
Moskva :
Nauka
1983
|
| Téma: | |
| Umiestnenie: |
Akademická knižnica Akadémie ozbrojených síl M.R.Štefánika |
