Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : proceedings /.
| Další autoři: |
Hájek, Petr, 1940-2016
(
Editor )
|
|---|---|
| Korporace: | |
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Berlin :
Springer Verlag,
1996.
|
| Edice: |
Lecture Notes in Logic;
6 |
| Předmět: | |
|
|