TY - BOOK ID - 114825370 TI - Gödel '96 : logical foundations of mathematics, computer science and physics. Kurt Gödels legacy PY - 1996 SN - 3540614346 3662219638 PB - Berlin Springer DB - UniCat KW - Computer science KW - Logic, Symbolic and mathematical KW - Mathematical physics KW - Mathematics KW - Math KW - Science KW - Congresses KW - Philosophy UR - https://www.unicat.be/uniCat?func=search&query=sysid:114825370 AB - ER -