"Models, algebras, and proofs" - читать интересную книгу автора (Xavier Caicedo, Carlos Montenegro)