Frage zu Artikel "Symbolic Logic and Mechanical Theorem Proving"

ISBN: 978-0-08-091728-3
Titel: Symbolic Logic and Mechanical Theorem Proving
von: Chin-Liang Chang