Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Korporativní autor: | |
---|---|
Další autoři: | |
Typ dokumentu: | Konferenční sborník E-kniha |
Jazyk: | angličtina |
ISBN: | 9781316716939 (ebook) 9781107168022 (hardback) |
Rok: |
Cambridge :
Cambridge University Press,
2016.
|
Edice: | Lecture notes in logic ;
6. |
Témata: | |
On-line přístup: | Plný text - nelze MVS Informace o práci s e-knihami |