Product Description
ISBN: 9780521356534
TITLE: Introduction to Higher-Order Categorical Logic
AUTHOR: J. Lambek
PUBLISHER: Cambridge University Press
PUBLISHER DATE: 25 Mar 1988
ISBN: 9780521356534
TITLE: Introduction to Higher-Order Categorical Logic
AUTHOR: J. Lambek
PUBLISHER: Cambridge University Press
PUBLISHER DATE: 25 Mar 1988
Popular Trending Products
ISBN: 9780521246651TITLE: Introduction to Higher-Order Categorical Logic : 7AUTHOR: J. LambekPUBLISH…
ISBN: 9780367483012TITLE: A Philosophical Introduction to Higher-order LogicsAUTHOR: Andrew BaconPUB…
ISBN: 9781108986908TITLE: Higher-Order Logic and Type TheoryAUTHOR: John L. BellPUBLISHER: Cambridge…
ISBN: 9783110157666TITLE: First Order-Logic : An IntroductionAUTHOR: Leigh S. CaumanPUBLISHER: De Gr…
ISBN: 9780521441896TITLE: Introduction to HOL : A Theorem-Proving Environment for Higher-Order Logic…