TY - BOOK AU - Hajek Petr Ed. TI - Godel 96: Logical foundations of mathematics, computer sciene and physics Vol 6 T2 - Lecture notes in logic; 6 SN - 1568811535 (pbk) U1 - B:(R1), N6 PY - 1996/// CY - Berlin PB - Springer KW - MATHEMATICS ER -