登入選單

返回Google圖書搜尋

Language, Proof, and Logic

Jon BarwiseJohn EtchemendyGerard AllweinDave Barker-PlummerAlbert Liu

出版	CSLI Publications, 2000
主題	Philosophy / GeneralPhilosophy / Logic
ISBN	18891190839781889119083
URL	http://books.google.com.hk/books?id=we4YAQAAIAAJ&hl=&source=gbs_api

註釋

CD-ROM contains an updated and enhanced version of Tarski's World, which teaches the basics of first-order logic; Fitch, a program which allows the creation and checking of natural deduction proofs; Boole, a program which facilitates the creation of truth tables; Submit, an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment; and the complete manuscript of the text in Adobe PDF format.