TY - BOOK AU - Ebbinghaus H D AU - Flum J AU - Thomas W TI - Mathematical logic SN - 0-387-94258-0 U1 - 511.3 PY - 1994/// CY - New-York PB - Springer-Verlag KW - Mathematical logic ER -