Gödel '96 - logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy

Författare
Czech Republic) Gödel '96 (1996 : Brno
(Edited by Petr Hájek.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Cambridge University Press 2016 Storbritannien, Cambridge 1 online resource (viii, 322 pages) digital, PDF file(s). 978-1-316-71693-9
Springer 1996 Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg 1 online resource (332 pages)