| 000 | 01133 a2200265 4500 | ||
|---|---|---|---|
| 001 | 1568811535 | ||
| 005 | 20250317100401.0 | ||
| 008 | 250312042001xx eng | ||
| 020 | _a9781568811536 | ||
| 037 |
_bTaylor & Francis _cGBP 37.99 _fBB |
||
| 040 | _a01 | ||
| 041 | _aeng | ||
| 072 | 7 |
_aPBD _2thema |
|
| 072 | 7 |
_aPBCH _2thema |
|
| 072 | 7 |
_aPBD _2bic |
|
| 072 | 7 |
_aPBCH _2bic |
|
| 072 | 7 |
_aMAT000000 _2bisac |
|
| 072 | 7 |
_aMAT028000 _2bisac |
|
| 100 | 1 | _aPetr Hajek | |
| 245 | 1 | 0 |
_aGödel 96: Logical Foundations of Mathematics, Computer Science, and Physics _bLecture Notes in Logic 6 |
| 250 | _a1 | ||
| 260 |
_bA K Peters/CRC Press _c20010326 |
||
| 300 | _a294 p | ||
| 520 | _bThis volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Godel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Godel s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event. | ||
| 999 |
_c1259 _d1259 |
||