Gödel '96 : logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Brno, Czech Republic, August 1996 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy Brno, Česko) (Autor)
Další autoři: Hájek, Petr, 1940-2016 (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1996
Edice:Lecture notes in logic ; 6
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í
Fakulta informatiky K36.96 4200502568