booktheque

Gerard Allwein

2 books in the database

Books

Logical reasoning with diagrams
Gerard Allwein · 1996
Formalizing Reasoning With Visual & Diagrammatic Representations
Gerard Allwein · 1998