Imatge de la portada

Introduction to higher order categorical logic

Veure altres versions (1)

Guardat en:

Dades bibliogràfiques
Autor principal:	Lambek, J.
Format:	Llibre
Publicat:	Cambridge Univ. Pr. 1994
Matèries:	Categories (Mathematics)
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Introduction to higher order categorical logic /
per: Lambek, J.
Publicat: (1994)

Categorical Donaldson-Thomas Theory for Local Surfaces
per: Toda, Yukinobu
Publicat: (2024)

Categorial grammars/
per: Wood, Mary McGee
Publicat: (1993)

A First Course in Category Theory
per: Agore, Ana
Publicat: (2023)

Higher Structures and Operadic Calculus
Publicat: (2025)

Categories and De interpretatione/
per: Aristotle
Publicat: (1963)

Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups I
per: Lentner, Simon, et al.
Publicat: (2023)

Introduction to Ring and Module Theory
per: Facchini, Alberto
Publicat: (2025)

Diagrammatic Algebra
per: Bowman, Chris
Publicat: (2025)

Duality in 19th and 20th Century Mathematical Thinking
Publicat: (2024)

The logic of causal order /
per: Davis, James A.
Publicat: (1985)

Derived Category Methods in Commutative Algebra
per: Christensen, Lars Winther, et al.
Publicat: (2024)

Foundations of Commutative Rings and Their Modules
per: Wang, Fanggui, et al.
Publicat: (2024)

The Mathematical and Philosophical Legacy of Alexander Grothendieck
Publicat: (2025)

Complex surveys: analysis of categorical data / Parival Mukhopadhyay.
per: Mukhopadhyay, Parimal
Publicat: (2016)

Helix Structures in Quantum Cohomology of Fano Varieties
per: Cotti, Giordano, et al.
Publicat: (2024)

Introduction to the statistical analysis of categorical / Data
per: Andersen, Erling B.
Publicat: (1997)

Introduction to Logic /
per: Suppes, Patrick
Publicat: (1957)

Introduction to logic/
per: Suppes, Patrick
Publicat: (1977)

Introduction to logic/
per: Suppes, Patrick
Publicat: (1977)

Semi-Infinite Algebraic Geometry of Quasi-Coherent Sheaves on Ind-Schemes Quasi-Coherent Torsion Sheaves, the Semiderived Category, and the Semitensor Product /
per: Positselski, Leonid
Publicat: (2023)

Categorical Data Analysis /
per: Allen, Agresti
Publicat: (1990)

Categorical Data Analysis /
per: Bayo, L
Publicat: (2003)

Stat Analysis and Categorical /
per: A, Earling B
Publicat: (1997)

Stat Analysis and Categorical /
per: A, Earling B
Publicat: (1997)

Categorical Data Analysis /
per: Alan, Agresti
Publicat: (2013)

Categorical Data Analysis /
per: Agresti, Alan
Publicat: (2013)

Stat Analysis and Categorical
per: A, Earling B
Publicat: (1997)

Categorical Data Analysis
per: Allen, Agresti
Publicat: (1990)

Categorical Data Analysis
per: Bayo, L
Publicat: (2003)

Categorical Data Analysis
per: Alan, Agresti
Publicat: (2013)

Categorical Data Analysis
per: Agresti, Alan
Publicat: (2013)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
per: Church, Alonzo
Publicat: (1996)

Introduction to mathematical logic /
per: Church, Alonzo
Publicat: (1956)

Introduction to Symbolic Logic/
per: Basson, A. H.
Publicat: (1960)

Higher Algebra:
per: Sharma, J. N.
Publicat: (1986)

Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck
per: Bismut, Jean-Michel, et al.
Publicat: (2023)

Order statistics. /
per: DAVID, Herbert Aron
Publicat: (1981)

Higher Trigonometry
per: Das, B. C.
Publicat: (1988)

Category Theory Using Haskell An Introduction with Moggi and Yoneda /
per: Yukita, Shuichi
Publicat: (2025)