Introduction to higher order categorical logic /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Cambridge :
Univ. Pr,
1994.
|
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
Introduction to higher order categorical logic
por: Lambek, J.
Publicado: (1994)
por: Lambek, J.
Publicado: (1994)
Categorial grammars/
por: Wood, Mary McGee
Publicado: (1993)
por: Wood, Mary McGee
Publicado: (1993)
Categorical Donaldson-Thomas Theory for Local Surfaces
por: Toda, Yukinobu
Publicado: (2024)
por: Toda, Yukinobu
Publicado: (2024)
A First Course in Category Theory
por: Agore, Ana
Publicado: (2023)
por: Agore, Ana
Publicado: (2023)
Higher Structures and Operadic Calculus
Publicado: (2025)
Publicado: (2025)
Introduction to Ring and Module Theory
por: Facchini, Alberto
Publicado: (2025)
por: Facchini, Alberto
Publicado: (2025)
Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups I
por: Lentner, Simon, et al.
Publicado: (2023)
por: Lentner, Simon, et al.
Publicado: (2023)
Diagrammatic Algebra
por: Bowman, Chris
Publicado: (2025)
por: Bowman, Chris
Publicado: (2025)
Duality in 19th and 20th Century Mathematical Thinking
Publicado: (2024)
Publicado: (2024)
Complex surveys: analysis of categorical data / Parival Mukhopadhyay.
por: Mukhopadhyay, Parimal
Publicado: (2016)
por: Mukhopadhyay, Parimal
Publicado: (2016)
Derived Category Methods in Commutative Algebra
por: Christensen, Lars Winther, et al.
Publicado: (2024)
por: Christensen, Lars Winther, et al.
Publicado: (2024)
Foundations of Commutative Rings and Their Modules
por: Wang, Fanggui, et al.
Publicado: (2024)
por: Wang, Fanggui, et al.
Publicado: (2024)
Introduction to mathematical logic/
por: ROBINSON, Gerson B.
Publicado: (1969)
por: ROBINSON, Gerson B.
Publicado: (1969)
The Mathematical and Philosophical Legacy of Alexander Grothendieck
Publicado: (2025)
Publicado: (2025)
Logic With Trees: an introduction to symbolic logic/
por: Howson, Colin
Publicado: (1997)
por: Howson, Colin
Publicado: (1997)
Constructive order types/
por: CROSSLEY, John N.
Publicado: (1969)
por: CROSSLEY, John N.
Publicado: (1969)
Higher engineering mathematics.
por: GREWAL, B.S
Publicado: (1971)
por: GREWAL, B.S
Publicado: (1971)
Threshold logic /
por: LEWIS, P.M
Publicado: (1967)
por: LEWIS, P.M
Publicado: (1967)
Helix Structures in Quantum Cohomology of Fano Varieties
por: Cotti, Giordano, et al.
Publicado: (2024)
por: Cotti, Giordano, et al.
Publicado: (2024)
Introduction to the statistical analysis of categorical / Data
por: Andersen, Erling B.
Publicado: (1997)
por: Andersen, Erling B.
Publicado: (1997)
Introduction to Logic/
por: Suppes, Patrick
Publicado: (1957)
por: Suppes, Patrick
Publicado: (1957)
The degital logic handbook.
Publicado: (1966)
Publicado: (1966)
Semi-Infinite Algebraic Geometry of Quasi-Coherent Sheaves on Ind-Schemes Quasi-Coherent Torsion Sheaves, the Semiderived Category, and the Semitensor Product /
por: Positselski, Leonid
Publicado: (2023)
por: Positselski, Leonid
Publicado: (2023)
Introduction to logic/
por: COPI, Irving M.
Publicado: (1982)
por: COPI, Irving M.
Publicado: (1982)
Introduction to logic/
por: Copi, Irving M.
Publicado: (1978)
por: Copi, Irving M.
Publicado: (1978)
Introduction to logic/
por: COPI, Irving M.
Publicado: (1968)
por: COPI, Irving M.
Publicado: (1968)
An introduction to logic/
por: Mitchell, David
Publicado: (1962)
por: Mitchell, David
Publicado: (1962)
Mathematical logic and computability/
por: Keisler, H. Jerome
Publicado: (1996)
por: Keisler, H. Jerome
Publicado: (1996)
Categorical Data Analysis /
por: Allen, Agresti
Publicado: (1990)
por: Allen, Agresti
Publicado: (1990)
Categorical Data Analysis /
por: Bayo, L
Publicado: (2003)
por: Bayo, L
Publicado: (2003)
Stat Analysis and Categorical /
por: A, Earling B
Publicado: (1997)
por: A, Earling B
Publicado: (1997)
Stat Analysis and Categorical /
por: A, Earling B
Publicado: (1997)
por: A, Earling B
Publicado: (1997)