lunet
Language, proof, and logic
Jon Barwise
587 PAGES · 2002
Open in Lunet
