TY - BOOK AU - Dalen, D. Van TI - Logic and structure PY - 1989/// CY - Berlin PB - springer ER -