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

Bibliographic Details
Corporate Author: Gödel '96 Brno, Czech Republic)
Other Authors: Hájek, Petr, (Editor)
Format: Conference Proceeding eBook
Language:English
ISBN:9781316716939 (ebook)
9781107168022 (hardback)
Year: Cambridge : Cambridge University Press, 2016.
Series:Lecture notes in logic ; 6.
Subjects:
Online Access:Plný text - nelze MVS
Informace o práci s e-knihami