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