categorical logic and type theory hardcover by jacobs bart brand new free

categorical logic and type theory hardcover by jacobs bart brand new free

Recommended

Army Aptitude Tests: : Categorical Awareness & Logical Reasoning for the Brit...

Army Aptitude Tests: : Categorical Awareness & Logical Reasoning for the Brit...

$14.19

View Details

INTRODUCTION TO HIGHER-ORDER CATEGORICAL LOGIC (CAMBRIDGE By J. Lambek & P. J.

INTRODUCTION TO HIGHER-ORDER CATEGORICAL LOGIC (CAMBRIDGE By J. Lambek & P. J.

$171.95

View Details

Handbook of Categorical Algebra: Volume 2, Categories and Structures (Paperback

Handbook of Categorical Algebra: Volume 2, Categories and Structures (Paperback

$114.01

View Details

Introduction to Higher-Order Categorical Logic, Paperback by Lambek, J

Introduction to Higher-Order Categorical Logic, Paperback by Lambek, J

$79.99

View Details

Categorical Logic and Type Theory Jacobs Paperback Elsevier Science Volume 141

Categorical Logic and Type Theory Jacobs Paperback Elsevier Science Volume 141

$101.96

View Details

First Order Categorical Logic : Model-theoretical Methods in the Theory of To...

First Order Categorical Logic : Model-theoretical Methods in the Theory of To...

$70.90

View Details

Categorical Combinators, Sequential Algorithms, and Functional Programming by P.

Categorical Combinators, Sequential Algorithms, and Functional Programming by P.

$127.78

View Details

Categorical Topology: Proceedings of the L'Aquila Conference (1994) by Eraldo Gi

Categorical Topology: Proceedings of the L'Aquila Conference (1994) by Eraldo Gi

$66.79

View Details

Makkai - First Order Categorical Logic Model-Theoretical Methods in - T555z

Makkai - First Order Categorical Logic Model-Theoretical Methods in - T555z

$70.93

View Details

Monoidal Topology: A Categorical Approach to Order, Metric, and Topology: New

Monoidal Topology: A Categorical Approach to Order, Metric, and Topology: New

$193.39

View Details