TY - BOOK AU - Gabby Dov M TI - Investigations in model and tense logics with applications to problems in philosophy and linguistics T2 - Synthese library U1 - R141, L6 PY - 1976/// CY - Boston PB - D Reidel Publishing ER -