Gödel '96 logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy ; Brno, Czech Republic, August 1996 ; proceedings
Peter Hájek Hrsg; Conference Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (1996 Brno)
Natick, Mass Association of Symbolic Logic u.a. 1996
Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 G581 ) e outros locais(Acessar)