categorical-logic-nlab

You May Like

Categorical Logic And Type Theory: Volume 141
Categorical Logic And Type Theory: Volume 141

$137.74

View Details
Categorical Logic and Type Theory, Hardcover by Jacobs, Bart, Brand New, Free...
Categorical Logic and Type Theory, Hardcover by Jacobs, Bart, Brand New, Free...

$161.90

View Details
Categorical Logic and Type Theory: Volume 141 by B Jacobs: New
Categorical Logic and Type Theory: Volume 141 by B Jacobs: New

$161.91

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
Culmination of the Science of Logic, Categorical Reasoning 1888 book by J. Smith
Culmination of the Science of Logic, Categorical Reasoning 1888 book by J. Smith

$11.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.23

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 - 9780444508539
Categorical Logic and Type Theory - 9780444508539

$102.24

View Details
Introduction to Higher-Order Categorical Logic, Paperback by Lambek, J., Like...
Introduction to Higher-Order Categorical Logic, Paperback by Lambek, J., Like...

$75.22

View Details
Future Logic: Categorical And Conditional Deduction And Induction Of The Na...
Future Logic: Categorical And Conditional Deduction And Induction Of The Na...

$26.43

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
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
B. Jacobs Categorical Logic and Type Theory (Paperback)
B. Jacobs Categorical Logic and Type Theory (Paperback)

$200.36

View Details
B. Jacobs Categorical Logic and Type Theory (Paperback) (UK IMPORT)
B. Jacobs Categorical Logic and Type Theory (Paperback) (UK IMPORT)

$230.57

View Details
FIRST ORDER CATEGORICAL LOGIC: MODEL-THEORETICAL METHODS By M. Makkai & G E
FIRST ORDER CATEGORICAL LOGIC: MODEL-THEORETICAL METHODS By M. Makkai & G E

$56.75

View Details
Coherent Logic: Including Nathan Coppedge's Method Of Categorical Deduction...
Coherent Logic: Including Nathan Coppedge's Method Of Categorical Deduction...

$9.76

View Details
Handbook of Categorical Algebra: Volume 3, Sheaf Theory (Paperback or Softback)
Handbook of Categorical Algebra: Volume 3, Sheaf Theory (Paperback or Softback)

$56.67

View Details
Introduction to Higher Order Categorical Logic by J. Lambek (English) Paperback
Introduction to Higher Order Categorical Logic by J. Lambek (English) Paperback

$93.11

View Details
Handbook of Categorical Algebra Vol. 1 : Basic Category Theory Fr
Handbook of Categorical Algebra Vol. 1 : Basic Category Theory Fr

$146.58

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

$61.35

View Details
Handbook of Categorical Algebra Vol. 3 : Sheaf Theory Hardcover F
Handbook of Categorical Algebra Vol. 3 : Sheaf Theory Hardcover F

$85.92

View Details
J. Lambek P. J. Scott Introduction to Higher-Order Categorical Logic (Paperback)
J. Lambek P. J. Scott Introduction to Higher-Order Categorical Logic (Paperback)

$113.63

View Details
Jagatheesan - Fuzzy Logic Based Categorical Text Clustering in Data M - S9000z
Jagatheesan - Fuzzy Logic Based Categorical Text Clustering in Data M - S9000z

$26.46

View Details
Handbook of Categorical Algebra: Volume - Hardcover, by Borceux Francis - Good
Handbook of Categorical Algebra: Volume - Hardcover, by Borceux Francis - Good

$146.93

View Details
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Jagatheesan, ...
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Jagatheesan, ...

$25.24

View Details
Introduction to Higher Order Categorical Logic by J. Lambek (English) Paperback
Introduction to Higher Order Categorical Logic by J. Lambek (English) Paperback

$103.35

View Details
Categorical Structures and Their Applications - Proceedings of the North
Categorical Structures and Their Applications - Proceedings of the North

$41.57

View Details
J. Lambek P. J. Introduction to Higher-Order Categorical (Paperback) (UK IMPORT)
J. Lambek P. J. Introduction to Higher-Order Categorical (Paperback) (UK IMPORT)

$84.69

View Details
Army Aptitude Tests: Categorical Awareness & Logical Reasoning... - How2Become
Army Aptitude Tests: Categorical Awareness & Logical Reasoning... - How2Become

$4.54

View Details
Handbook of Categorical Algebra - Paperback, by Borceux Francis - Good
Handbook of Categorical Algebra - Paperback, by Borceux Francis - Good

$80.02

View Details
Categorical Logic and Type Theory, Hardcover by Jacobs, Bart, Like New Used, ...
Categorical Logic and Type Theory, Hardcover by Jacobs, Bart, Like New Used, ...

$161.89

View Details
Army Aptitude Tests:: Categorical Awareness & Logical Reasoning for the British
Army Aptitude Tests:: Categorical Awareness & Logical Reasoning for the British

$13.27

View Details
Future Logic : Categorical and Conditional Deduction and Induction of the Nat...
Future Logic : Categorical and Conditional Deduction and Induction of the Nat...

$34.02

View Details
Army Aptitude Tests: Categorical Awareness & Logical Reasoning... - How2Become
Army Aptitude Tests: Categorical Awareness & Logical Reasoning... - How2Become

$4.53

View Details
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Jagatheesan, ...
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Jagatheesan, ...

$22.61

View Details
Coherent Logic: Including Nathan Coppedge's Method of Categorical Deduction and
Coherent Logic: Including Nathan Coppedge's Method of Categorical Deduction and

$18.47

View Details
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf T
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf T

$200.77

View Details
Handbook of Categorical Algebra Vol. 2 : Categories and Structure
Handbook of Categorical Algebra Vol. 2 : Categories and Structure

$197.73

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

View Details
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applicatio,
Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applicatio,

$71.99

View Details
Categorical Logic and Type Theory, Hardcover by Jacobs, Bart, Like New Used, ...
Categorical Logic and Type Theory, Hardcover by Jacobs, Bart, Like New Used, ...

$170.62

View Details
Jacobs - Categorical Logic and Type Theory - New paperback or softback - N555z
Jacobs - Categorical Logic and Type Theory - New paperback or softback - N555z

$188.75

View Details
HANDBOOK OF CATEGORICAL ALGEBRA: VOLUME 3, SHEAF THEORY By Francis Borceux *NEW*
HANDBOOK OF CATEGORICAL ALGEBRA: VOLUME 3, SHEAF THEORY By Francis Borceux *NEW*

$81.95

View Details
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Borceux
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Borceux

$182.00

View Details
Handbook of Categorical Algebra: Volume 3, Sheaf Theory by Francis Borceux (Engl
Handbook of Categorical Algebra: Volume 3, Sheaf Theory by Francis Borceux (Engl

$60.88

View Details
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Dr S.M. Jagathee
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Dr S.M. Jagathee

$23.22

View Details
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: v. 1
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: v. 1

$53.86

View Details
The Existential Import of Categorical Predication: Studies in Logic by A. Wolf (
The Existential Import of Categorical Predication: Studies in Logic by A. Wolf (

$51.30

View Details
A Logic Book Fundamentals of Reasoning By Robert M. Johnson
A Logic Book Fundamentals of Reasoning By Robert M. Johnson

$17.86

View Details
Programs as Diagrams: From Categorical Computability to Computable Categories
Programs as Diagrams: From Categorical Computability to Computable Categories

$111.72

View Details
Handbook of Categorical Algebra 1, Paperback by Borceux, Francis, Like New Us...
Handbook of Categorical Algebra 1, Paperback by Borceux, Francis, Like New Us...

$70.40

View Details
Army Aptitude Tests:: Categorical Awareness & Logical Reasoning for the British
Army Aptitude Tests:: Categorical Awareness & Logical Reasoning for the British

$15.84

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

$14.19

View Details
Giuli - Categorical Topology - New paperback or softback - S9000z
Giuli - Categorical Topology - New paperback or softback - S9000z

$68.72

View Details
Arabic Logic from al-Frb to Averroes: A Study of the Early Arabic Categorical, M
Arabic Logic from al-Frb to Averroes: A Study of the Early Arabic Categorical, M

$114.76

View Details
The Existential Import of Categorical Predication: Studies in Logic
The Existential Import of Categorical Predication: Studies in Logic

$35.65

View Details
Future Logic: Categorical and Conditional Deduction and Induction of the Natural
Future Logic: Categorical and Conditional Deduction and Induction of the Natural

$59.16

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

$69.09

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
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
Handbook of Categorical Algebra 3 : Categories of Sheaves, Paperback by Borce...
Handbook of Categorical Algebra 3 : Categories of Sheaves, Paperback by Borce...

$59.37

View Details
Handbook of Categorical Algebra: Volume 2, Categories and Structures by Francis
Handbook of Categorical Algebra: Volume 2, Categories and Structures by Francis

$270.77

View Details
Handbook of Categorical Algebra: Volume 3, Sheaf Theory by Francis Borceux: New
Handbook of Categorical Algebra: Volume 3, Sheaf Theory by Francis Borceux: New

$293.07

View Details
Algebraic Theories: A Categorical Introduction to General Algebra by J. Adámek
Algebraic Theories: A Categorical Introduction to General Algebra by J. Adámek

$128.69

View Details
UNCOUNTABLY CATEGORICAL THEORIES (TRANSLATIONS OF By Boris Zilber - Hardcover
UNCOUNTABLY CATEGORICAL THEORIES (TRANSLATIONS OF By Boris Zilber - Hardcover

$92.75

View Details
Goguen Categories: A Categorical Approach to L-fuzzy Relations by Michael Winter
Goguen Categories: A Categorical Approach to L-fuzzy Relations by Michael Winter

$125.44

View Details
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical...
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical...

$84.83

View Details
Goguen Categories : A Categorical Approach to L-fuzzy Relations, Paperback by...
Goguen Categories : A Categorical Approach to L-fuzzy Relations, Paperback by...

$113.47

View Details
Handbook of Categorical Algebra 2 : Categories and Structures, Paperback by B...
Handbook of Categorical Algebra 2 : Categories and Structures, Paperback by B...

$115.48

View Details
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Francis Borc
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Francis Borc

$235.09

View Details
Algebraic Theories : A Categorical Introduction to General Algebra, Hardcover...
Algebraic Theories : A Categorical Introduction to General Algebra, Hardcover...

$152.52

View Details
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Francis Borc
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Francis Borc

$71.08

View Details
Handbook of Categorical Algebra: Volume 3, Sheaf Theory by Francis Borceux (Engl
Handbook of Categorical Algebra: Volume 3, Sheaf Theory by Francis Borceux (Engl

$297.25

View Details
Monoidal Topology : A Categorical Approach to Order, Metric, and Topology, Ha...
Monoidal Topology : A Categorical Approach to Order, Metric, and Topology, Ha...

$195.57

View Details
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Pr
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Pr

$125.44

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

$125.37

View Details
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Pr
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Pr

$125.19

View Details
Programs as Diagrams: From Categorical Computability to Computable Categories (H
Programs as Diagrams: From Categorical Computability to Computable Categories (H

$114.92

View Details
Ghilardi - Sheaves Games and Model Completions   A Categorical Appr - S9000z
Ghilardi - Sheaves Games and Model Completions A Categorical Appr - S9000z

$131.58

View Details
Programs as Diagrams: From Categorical Computability to Computable Categories by
Programs as Diagrams: From Categorical Computability to Computable Categories by

$114.76

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
Handbook of Categorical Algebra: Volume 2, Categories and Structures by Francis
Handbook of Categorical Algebra: Volume 2, Categories and Structures by Francis

$131.63

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
Pedicchio - Categorical Foundations  Special Topics in Order Topolog - T9000z
Pedicchio - Categorical Foundations Special Topics in Order Topolog - T9000z

$204.81

View Details
Handbook of Categorical Algebra 2 : Categories and Structures, Hardcover by B...
Handbook of Categorical Algebra 2 : Categories and Structures, Hardcover by B...

$251.86

View Details
The Existential Import of Categorical Predication: Studies in Logic by A. Wolf (
The Existential Import of Categorical Predication: Studies in Logic by A. Wolf (

$59.84

View Details
Logical Foundations of Computer Science : International Symposium, LFCS 2020,...
Logical Foundations of Computer Science : International Symposium, LFCS 2020,...

$65.97

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

$127.78

View Details
Handbook of Categorical Algebra 1 : Basic Category Theory, Hardcover by Borce...
Handbook of Categorical Algebra 1 : Basic Category Theory, Hardcover by Borce...

$231.32

View Details
Goguen Categories: A Categorical Approach to L-fuzzy Relations by Michael Winter
Goguen Categories: A Categorical Approach to L-fuzzy Relations by Michael Winter

$125.19

View Details
Diagrammatology : An Investigation on the Borderlines of Phenomenology, Ontol...
Diagrammatology : An Investigation on the Borderlines of Phenomenology, Ontol...

$155.55

View Details
Categorical Grammars and Natural Language Structures, Hardcover by Oehrle, Ri...
Categorical Grammars and Natural Language Structures, Hardcover by Oehrle, Ri...

$242.10

View Details
Categorical Logic and Type Theory (Studies in L, Jacobs.=
Categorical Logic and Type Theory (Studies in L, Jacobs.=

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

$119.95

View Details