Language, Proof, and Logic: Second Edition [With CDROM] (en Inglés)

Barker-Plummer, David ; Barwise, Jon ; Etchemendy, John · Center for the Study of Language and Informat