Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

Language, Proof, and Logic Second Edition; .: Text/Software Package

Thought and Language, Revised Expanded edition: Edition. Forew. by Alex Kozulin (Mit Press)

Meaning and Argument: An Introduction to Logic Through Language, Revised Second Edition

Elementary Logic: Revised Edition