Semantics of type theory : correctness, completeness and independence results /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Streicher, Thomas (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Boston : Birkhäuser Verlag, 1991.
Edice:Progress in theoretical computer science
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Přírodovědecká fakulta ÚK volný výběr 519.7-STRE 3145006084