Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Corporate Author: | |
---|---|
Other Authors: | |
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 |