Omslagsbillede

Introduction to higher order categorical logic

Show other versions (1)

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Lambek, J.
Format:	Bog
Udgivet:	Cambridge Univ. Pr. 1994
Fag:	Categories (Mathematics)
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Introduction to higher order categorical logic /
af: Lambek, J.
Udgivet: (1994)

Categorial grammars/
af: Wood, Mary McGee
Udgivet: (1993)

Categorical Donaldson-Thomas Theory for Local Surfaces
af: Toda, Yukinobu
Udgivet: (2024)

A First Course in Category Theory
af: Agore, Ana
Udgivet: (2023)

Higher Structures and Operadic Calculus
Udgivet: (2025)

Categories and De interpretatione/
af: Aristotle
Udgivet: (1963)

Introduction to Ring and Module Theory
af: Facchini, Alberto
Udgivet: (2025)

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

Diagrammatic Algebra
af: Bowman, Chris
Udgivet: (2025)

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

The logic of causal order /
af: Davis, James A.
Udgivet: (1985)

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

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

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

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

Introduction to logic/
af: Suppes, Patrick
Udgivet: (1977)

Introduction to logic/
af: Suppes, Patrick
Udgivet: (1977)

Introduction to Logic /
af: Suppes, Patrick
Udgivet: (1957)

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

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

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

Order statistics. /
af: DAVID, Herbert Aron
Udgivet: (1981)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
af: Church, Alonzo
Udgivet: (1996)

Introduction to Symbolic Logic/
af: Basson, A. H.
Udgivet: (1960)

Introduction to mathematical logic /
af: Church, Alonzo
Udgivet: (1956)

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

Categorical Data Analysis /
af: Allen, Agresti
Udgivet: (1990)

Categorical Data Analysis /
af: Bayo, L
Udgivet: (2003)

Stat Analysis and Categorical /
af: A, Earling B
Udgivet: (1997)

Stat Analysis and Categorical /
af: A, Earling B
Udgivet: (1997)

Categorical Data Analysis /
af: Alan, Agresti
Udgivet: (2013)

Categorical Data Analysis /
af: Agresti, Alan
Udgivet: (2013)

Stat Analysis and Categorical
af: A, Earling B
Udgivet: (1997)

Categorical Data Analysis
af: Allen, Agresti
Udgivet: (1990)

Categorical Data Analysis
af: Bayo, L
Udgivet: (2003)

Categorical Data Analysis
af: Alan, Agresti
Udgivet: (2013)

Categorical Data Analysis
af: Agresti, Alan
Udgivet: (2013)

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

Higher Algebra:
af: Sharma, J. N.
Udgivet: (1986)

Mathematical Structures From Linear Algebra over Rings to Geometry with Sheaves /
af: Hilgert, Joachim
Udgivet: (2024)