Normal view MARC view ISBD view

Symbolic Logic and Mechanical Theorem Proving

Chang, Chin-Liang

Symbolic Logic and Mechanical Theorem Proving - ACADEMIC PRESS Elsevier Legacy

ISBN: 9780080917283

Source: EBOOK