Theorem Proving in Higher Order Logics(English, Electronic book text, Hurd Joe) | Zipri.in
Theorem Proving in Higher Order Logics(English, Electronic book text, Hurd Joe)

Theorem Proving in Higher Order Logics(English, Electronic book text, Hurd Joe)

Quick Overview

Rs.3800 on FlipkartBuy
Product Price Comparison