Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /
Uloženo v:
| Další autoři: | , , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Ruština |
| Vydáno: |
Moskva :
Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury,
1983
|
| Témata: | |
| Příbuzné jednotky: | Přeloženo z:
Handbook of mathematical logic |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Prezenční SKLAD |
Přírodovědecká fakulta | ÚK sklad | I-1073 | 3145004946 | ||
|
Dostupné Měsíční |
Přírodovědecká fakulta | ÚK volný výběr | 510.6-TEOR | 3145025383 |