"Conditionals: From Philosophy to Computer Science" - читать интересную книгу автора (G. Crocco, L. Fariñas del Cerro, A. Herzig)