TY - BOOK ID - 35319569 TI - Logic Colloquium '98 AU - Buss, Samuel R. AU - Hájek, Petr AU - Pudlák, Pavel PY - 2000 VL - 13 SN - 1568811144 1568811136 9781568811130 9781568811147 PB - Providence (R.I.) : Association for symbolic logic, DB - UniCat KW - Logic, Symbolic and mathematical KW - Logic, Symbolic and mathematical - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:35319569 AB - ER -