TY - BOOK AU - Cantini Andrea etc Ed. TI - Logic and foundations of mathematics U1 - R1:(B), N9 PY - 1999/// ER -