登入
選單
返回
Google圖書搜尋
Formal Logic
Richard C. Jeffrey
其他書名
Its Scope and Limits
出版
McGraw-Hill
, 1991
主題
Mathematics / Logic
Philosophy / Logic
ISBN
0070323577
9780070323575
URL
http://books.google.com.hk/books?id=cUAQAQAAIAAJ&hl=&source=gbs_api
註釋
This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.