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)