Obálka

Introduction to higher order categorical logic

Zobrazit další vydání (1)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lambek, J.
Médium:	Kniha
Vydáno:	Cambridge Univ. Pr. 1994
Témata:	Categories (Mathematics)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Introduction to higher order categorical logic /
Autor: Lambek, J.
Vydáno: (1994)

Categorial grammars/
Autor: Wood, Mary McGee
Vydáno: (1993)

Categorical Donaldson-Thomas Theory for Local Surfaces
Autor: Toda, Yukinobu
Vydáno: (2024)

A First Course in Category Theory
Autor: Agore, Ana
Vydáno: (2023)

Higher Structures and Operadic Calculus
Vydáno: (2025)

Categories and De interpretatione/
Autor: Aristotle
Vydáno: (1963)

Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups I
Autor: Lentner, Simon, a další
Vydáno: (2023)

Introduction to Ring and Module Theory
Autor: Facchini, Alberto
Vydáno: (2025)

Diagrammatic Algebra
Autor: Bowman, Chris
Vydáno: (2025)

Duality in 19th and 20th Century Mathematical Thinking
Vydáno: (2024)

The logic of causal order /
Autor: Davis, James A.
Vydáno: (1985)

Derived Category Methods in Commutative Algebra
Autor: Christensen, Lars Winther, a další
Vydáno: (2024)

Foundations of Commutative Rings and Their Modules
Autor: Wang, Fanggui, a další
Vydáno: (2024)

The Mathematical and Philosophical Legacy of Alexander Grothendieck
Vydáno: (2025)

Complex surveys: analysis of categorical data / Parival Mukhopadhyay.
Autor: Mukhopadhyay, Parimal
Vydáno: (2016)

Helix Structures in Quantum Cohomology of Fano Varieties
Autor: Cotti, Giordano, a další
Vydáno: (2024)

Introduction to logic/
Autor: Suppes, Patrick
Vydáno: (1977)

Introduction to logic/
Autor: Suppes, Patrick
Vydáno: (1977)

Introduction to Logic /
Autor: Suppes, Patrick
Vydáno: (1957)

Introduction to the statistical analysis of categorical / Data
Autor: Andersen, Erling B.
Vydáno: (1997)

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

Introduction to Mathematical Logic / Introduction to Mathematical Logic
Autor: Church, Alonzo
Vydáno: (1996)

Introduction to mathematical logic /
Autor: Church, Alonzo
Vydáno: (1956)

Introduction to Symbolic Logic/
Autor: Basson, A. H.
Vydáno: (1960)

Categorical Data Analysis /
Autor: Allen, Agresti
Vydáno: (1990)

Categorical Data Analysis /
Autor: Bayo, L
Vydáno: (2003)

Stat Analysis and Categorical /
Autor: A, Earling B
Vydáno: (1997)

Stat Analysis and Categorical /
Autor: A, Earling B
Vydáno: (1997)

Categorical Data Analysis /
Autor: Alan, Agresti
Vydáno: (2013)

Categorical Data Analysis /
Autor: Agresti, Alan
Vydáno: (2013)

Categorical Data Analysis
Autor: Alan, Agresti
Vydáno: (2013)

Categorical Data Analysis
Autor: Agresti, Alan
Vydáno: (2013)

Stat Analysis and Categorical
Autor: A, Earling B
Vydáno: (1997)

Categorical Data Analysis
Autor: Allen, Agresti
Vydáno: (1990)

Categorical Data Analysis
Autor: Bayo, L
Vydáno: (2003)

Order statistics. /
Autor: DAVID, Herbert Aron
Vydáno: (1981)

Higher Algebra:
Autor: Sharma, J. N.
Vydáno: (1986)

Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck
Autor: Bismut, Jean-Michel, a další
Vydáno: (2023)

Higher Trigonometry
Autor: Das, B. C.
Vydáno: (1988)

Category Theory Using Haskell An Introduction with Moggi and Yoneda /
Autor: Yukita, Shuichi
Vydáno: (2025)