TY - BOOK AU - Artemov S N TI - Six papers in logic U1 - 510T PY - 1987/// CY - Providence PB - A M S KW - Mathematical logic ER -