booktheque

Dave Barker-Plummer

2 ספרים במאגר

ספרים

Language, proof, and logic
Dave Barker-Plummer · 2011
Diagrammatic representation and inference
Dave Barker-Plummer · 2006