Applied logic for computer scientists. Computational deduction and formal proofs

DOI10.1007/978-3-319-51653-0zbMath1401.03001OpenAlexW2587244123MaRDI QIDQ1627457

Mauricio Ayala-Rincón, Flávio L. C. de Moura

Publication date: 29 November 2018

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-51653-0

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem

Uses Software

• PVS

This page was built for publication: Applied logic for computer scientists. Computational deduction and formal proofs