Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion… by Gurevich, Yuri fromLecture Notes in Computer Science 0 Type: Book
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by Bertot, Yves, Castéran, Pierre fromTexts in theoretical computer science : an EATCS series 0 Type: Book
