TY - BOOK AU - Felscher Walter TI - Lectures on mathematical logic U1 - 511.3 PY - 2000/// CY - Amsterdam PB - Gordon & Breach Science KW - Mathematical logic KW - Symbolic logic N1 - v1: Set theoretical logic - the algebra of models ER -