Gödel '96 : Logical foundations of Mathematics, computer science and physics - Kurt Gödel's legacy : Proccedings /
Korporace: | |
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
[Berlin] :
Springer,
1996.
|
Vydání: | 1st Ed. |
Edice: |
Lecture notes in logic;
6 |
Předmět: | |