登入選單
返回Google圖書搜尋
Forall X
其他書名
An Introduction to Formal Logic
出版P.D. Magnus, 2012
URLhttp://books.google.com.hk/books?id=-qoBogEACAAJ&hl=&source=gbs_api
註釋"Forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BC Campus website