- Author : Dave Barker-Plummer
- Release Date : 27 October 2021
- Publisher : Stanford Univ Center for the Study
- Genre : Computers
- Pages : 606
- ISBN 13 : 1575866323
Download or read book entitled Language, Proof, and Logic written by Dave Barker-Plummer and published by Stanford Univ Center for the Study online. This book was released on 27 October 2021 with total pages 606. Available in PDF, EPUB and Kindle. Book excerpt: Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.