categorical-logic-examples, categorical-logic-examples

You May Like

Categorical Logic and Type Theory [Volume 141] [Studies in Logic and the Foundat

Categorical Logic and Type Theory [Volume 141] [Studies in Logic and the Foundat

$122.98

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.

$149.95

View Details

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi

$67.47

View Details

Introduction to Higher Order Categorical Logic (Paperback or Softback)

Introduction to Higher Order Categorical Logic (Paperback or Softback)

$88.67

View Details

Categorical Logic And Type Theory: Volume 141

Categorical Logic And Type Theory: Volume 141

$137.74

View Details

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

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

$93.10

View Details

Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced

Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced

$63.08

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...

$67.46

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...

$67.45

View Details