Teorija dokazatel'stv /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Takeuti, Gaisi, 1926-2017 (Autor)
Další autoři: Soboleva, S. K. (Překladatel)
Typ dokumentu: Kniha
Jazyk:Ruština
Vydáno: Moskva : Mír, 1978
Témata:
Příbuzné jednotky:Přeloženo z: Proof theory
Obálka
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.

Pedagogická fakulta

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční SKLAD
Pedagogická fakulta ÚK - depozitář DI-1122 3201R49490

Přírodovědecká fakulta

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Přírodovědecká fakulta ÚK volný výběr 510.6-TAKE 3145340922
Dostupné
Měsíční
Přírodovědecká fakulta ÚK volný výběr 510.6-TAKE 3145117948