Language, Proof and Logic

Language, Proof, and Logic is a textbook and software package

Educational software · by John Etchemendy, Jon Barwise · lpl.stanford.edu

Open Language, Proof and Logic in AirStack

What Language, Proof and Logic’s own pages say

What it says it doesLanguage, Proof, and Logic is a textbook and software package lpl.stanford.edu

Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.