Goedel'96: : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy/
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
Berlin:
Springer-Verlag,
c1996
|
| Series: | Lecture Notes in Logic
; 6 |
| Subjects: |