opac, catalogo, online,servizi, biblioteca, sebina

Gödel '96 : logical foundations of mathematics, computer science and physics-Kurt Gödelʼs legacy : Bruno, Czech Republic, august 1996 proceedings / Petr Hájek (ed.). - Berlin \etc.! : Springer, ©1996. - VIII, 322 p. ; 24 cm.

Testo a stampa (moderno) 1996