Barwise,, Jon,, 1942- Language, proof and logic : text-software package / Jon Barwise, John Etchemendy ; colab. Gerard Allwein, Dave Barker-Plummer, Albert Liu

Language, proof and logic : text-software package / Jon Barwise, John Etchemendy ; colab. Gerard Allwein, Dave Barker-Plummer, Albert Liu . - Stanford, Calif. : CSLI Publications, cop. 2003 . - XI, 587 p. : il. 24 cm
1-57586-374-X Brochado

510.6