"Interactive Theorem Proving - ITP 2011 " - читать интересную книгу автора (Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk)
-->