Dave Barker-Plummer

2 books

Language, Proof and Logic With Software by John Etchemendy, Jon Barwise, Dave Barker-Plummer

Language, Proof and Logic With Software

John Etchemendy, Jon Barwise, Dave Barker-Plummer

606 pages • first pub 1999 (editions)

nonfiction philosophy reference informative slow-paced
Tarski's World 4.0 for MS Windows by Jon Barwise
Tarski's World 4.0 for MS Windows
—
Jon Barwise

Tarski's World 4.0 for MS Windows

Center for the Study of Language and Information Publication

Jon Barwise

142 pages • missing pub info (editions)

nonfiction mathematics medium-paced
More...