BIBLIOTECA

Normal view MARC view ISBD view

Symbolic logic and Mechanical theorem proving

By: Char, Richard.
Contributor(s): Lee, Tung.
Material type: TextText
Tags from this library: No tags from this library for this title.