background
LPL=
Jon Barwise & John Etchemendy:
Language, Proof and Logic.
Stanford: CSLI Pub.,2000
- predecessor: The Language of First-Order Logic
and
- software contained in LFOL: Tarski's World, also stand-alone
and
- using Tarski's World development of Hyperproof
- over 30 programmers claimed, total of 15 years work
next