登入選單
返回Google圖書搜尋
Elementary Logics
Dov M. Gabbay
其他書名
A Procedural Perspective
出版Prentice Hall Europe, 1998
主題Computers / GeneralPhilosophy / Logic
ISBN01372636519780137263653
URLhttp://books.google.com.hk/books?id=54BQAAAAMAAJ&hl=&source=gbs_api
註釋This text aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics. It defines the many types of logics and the differences between them, starting with the basic notions of the most common logic and working through the many non-classical logics.