Construction and Evaluation of a Gold Standard Syntax for Formal Logic Formulas and Systems Subtitle
By : Dilpreet Modi
Book Info