TY - BOOK AU - GILBOA ITZHAK TI - ANALOGIES AND THEORIES FORMAL MODELS OF U1 - 330 GIL PY - 2015/// CY - United Kingdom PB - Oxford ER -