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

Theorem Proving in Higher Order Logics(English, Electronic book text, Slind Konrad)

Quick Overview

Rs.3800 on FlipkartBuy
Product Price Comparison