Copertina

Introduction to higher order categorical logic

Mostra altre versioni (1)

Salvato in:

Dettagli Bibliografici
Autore principale:	Lambek, J.
Natura:	Libro
Pubblicazione:	Cambridge Univ. Pr. 1994
Soggetti:	Categories (Mathematics)
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Introduction to higher order categorical logic /
di: Lambek, J.
Pubblicazione: (1994)

Categorial grammars/
di: Wood, Mary McGee
Pubblicazione: (1993)

Categorical Donaldson-Thomas Theory for Local Surfaces
di: Toda, Yukinobu
Pubblicazione: (2024)

A First Course in Category Theory
di: Agore, Ana
Pubblicazione: (2023)

Higher Structures and Operadic Calculus
Pubblicazione: (2025)

Introduction to Ring and Module Theory
di: Facchini, Alberto
Pubblicazione: (2025)

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

Diagrammatic Algebra
di: Bowman, Chris
Pubblicazione: (2025)

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

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

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

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

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

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

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

Order statistics. /
di: DAVID, Herbert Aron
Pubblicazione: (1981)

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

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

Categorical Data Analysis /
di: Allen, Agresti
Pubblicazione: (1990)

Categorical Data Analysis /
di: Bayo, L
Pubblicazione: (2003)

Stat Analysis and Categorical /
di: A, Earling B
Pubblicazione: (1997)

Stat Analysis and Categorical /
di: A, Earling B
Pubblicazione: (1997)

Categorical Data Analysis /
di: Alan, Agresti
Pubblicazione: (2013)

Categorical Data Analysis /
di: Agresti, Alan
Pubblicazione: (2013)

Categorical Data Analysis
di: Allen, Agresti
Pubblicazione: (1990)

Categorical Data Analysis
di: Bayo, L
Pubblicazione: (2003)

Stat Analysis and Categorical
di: A, Earling B
Pubblicazione: (1997)

Categorical Data Analysis
di: Alan, Agresti
Pubblicazione: (2013)

Categorical Data Analysis
di: Agresti, Alan
Pubblicazione: (2013)

Fuzzy Logic Introduction to fuzzy logic /
di: John, Jerry
Pubblicazione: (2003)

Introduction to mathematical logic/
di: ROBINSON, Gerson B.
Pubblicazione: (1969)

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

Higher Algebra:
di: Sharma, J. N.
Pubblicazione: (1986)

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

Constructive order types/
di: CROSSLEY, John N.
Pubblicazione: (1969)

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

Model Order Reduction and Applications Cetraro, Italy 2021 /
di: Hinze, Michael, et al.
Pubblicazione: (2023)

Higher Trigonometry
di: Das, B. C.
Pubblicazione: (1988)

Groups, Invariants, Integrals, and Mathematical Physics The Wisła 20-21 Winter School and Workshop /
Pubblicazione: (2023)

Logic for mathematicians /
di: Hamilton, Alan G., 1943-
Pubblicazione: (2001)