The Evolution of Parallel Logic Programming Languages (Classic Reprint)

The Logic of Socialism (Classic Reprint)

The Pl/I Programming Language (Classic Reprint)

The Evolution of Parallel Logic Programming Langua

The Algebra of Logic (Classic Reprint)

A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)

Logic, or the Art of Thinking: Being the Port-Royal Logic (Classic Reprint)

A History of Formal Logic (Classic Reprint)