Results 131 to 140 of about 4,846 (144)
Some of the next articles are maybe not open access.
Jon Barwise and John Etchemendy. Language, proof and logic. In collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, xii + 587 pp. - Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, and Albert Liu. LPL software manual. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, vii + 52 pp. + CD-ROM.
Bulletin of Symbolic Logic, 2001 openaire +1 more source