Goedel'96 : : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy /
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin :
Springer-Verlag,
c1996
|
| Σειρά: | Lecture Notes in Logic ;
; 6 |
| Θέματα: |