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
Idioma:	anglès
Publicat:	Cambridge : Univ. Pr, 1994.
Matèries:	1.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)

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

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

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)

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

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

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

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

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

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)

Constructive order types/
per: CROSSLEY, John N.
Publicat: (1969)

Higher engineering mathematics.
per: GREWAL, B.S
Publicat: (1971)

Introduction to mathematical logic/
per: ROBINSON, Gerson B.
Publicat: (1969)

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

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

The degital logic handbook.
Publicat: (1966)

Logic With Trees: an introduction to symbolic logic/
per: Howson, Colin
Publicat: (1997)

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

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

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

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

Threshold logic /
per: LEWIS, P.M
Publicat: (1967)

Categorical data analysis/ Alan Agresti.
per: Agresti, Alan
Publicat: (1990)

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

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)

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

Introduction to logic/
per: COPI, Irving M.
Publicat: (1982)

Introduction to logic/
per: Copi, Irving M.
Publicat: (1978)

Introduction to logic/
per: COPI, Irving M.
Publicat: (1968)

An introduction to logic/
per: Mitchell, David
Publicat: (1962)

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

Mathematical logic and computability/
per: Keisler, H. Jerome
Publicat: (1996)

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

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

Categorical data analysis/ Alan Agresti.
per: Agresti, Alan
Publicat: (2013)

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