登入選單
返回Google圖書搜尋
Algebra of Proofs
Lev D. Beklemishev
出版Elsevier, 2000-04-01
主題Computers / Information TheoryMathematics / General
ISBN00809549799780080954974
URLhttp://books.google.com.hk/books?id=JGdH4eYZ2UMC&hl=&source=gbs_api
EBookSAMPLE
註釋Algebra of Proofs