Godel'96 : logical foundations of mathematics, computer science and Physics-Kurt Godel's legacy; procedings
edited by Petr Hajek
- Berlin Springer-Verlag c1996
- viii,322p.; 24cm.-
- Lecture notes in logic; no.6 .
3540614346
Mathematical Logic
Metamathematics
Computer Programs-Correctness
160 / HAJ