Page, Rex; Gamboa, Ruben Essential logic for computer science. (English) Zbl 1407.68008 Cambridge, MA: MIT Press (ISBN 978-0-262-03918-5/hbk). xvi, 288 p. (2018). MSC: 68-01 03B70 68M07 68P05 68P10 68Q60 68T15 94C10 94C12 PDFBibTeX XMLCite \textit{R. Page} and \textit{R. Gamboa}, Essential logic for computer science. Cambridge, MA: MIT Press (2018; Zbl 1407.68008)
Clavel, Renaud; Pierre, Laurence; Leveugle, Régis Towards robustness analysis using PVS. (English) Zbl 1342.68281 Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 71-86 (2011). MSC: 68T15 94C10 94C12 PDFBibTeX XMLCite \textit{R. Clavel} et al., Lect. Notes Comput. Sci. 6898, 71--86 (2011; Zbl 1342.68281) Full Text: DOI