登入選單
返回Google圖書搜尋
出版CSLI Publications, 2000
主題Philosophy / GeneralPhilosophy / Logic
ISBN18891190839781889119083
URLhttp://books.google.com.hk/books?id=we4YAQAAIAAJ&hl=&source=gbs_api
註釋"Language, Proof and Logic is a complete text and software package providing a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof, and counterexample. The text assumes no prior study of logic and is appropriate for introductory and second courses in logic. Intstructors in philosophy, computer science, and mathematics will find ample material to allow the coverage of topics specific to their disciplines. The book is only one part of a two-part package. It is sold only with the accompanying software and user's manual. Neither text nor software are sold separately" --