表紙画像

Introduction to higher order categorical logic

他のバージョン（1件）を表示する

保存先:

書誌詳細
第一著者:	Lambek, J.
フォーマット:	図書
出版事項:	Cambridge Univ. Pr. 1994
主題:	Categories (Mathematics)
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Introduction to higher order categorical logic /
著者:: Lambek, J.
出版事項: (1994)

Categorial grammars/
著者:: Wood, Mary McGee
出版事項: (1993)

Categorical Donaldson-Thomas Theory for Local Surfaces
著者:: Toda, Yukinobu
出版事項: (2024)

A First Course in Category Theory
著者:: Agore, Ana
出版事項: (2023)

Higher Structures and Operadic Calculus
出版事項: (2025)

Categories and De interpretatione/
著者:: Aristotle
出版事項: (1963)

Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups I
著者:: Lentner, Simon, 等
出版事項: (2023)

Introduction to Ring and Module Theory
著者:: Facchini, Alberto
出版事項: (2025)

Diagrammatic Algebra
著者:: Bowman, Chris
出版事項: (2025)

Duality in 19th and 20th Century Mathematical Thinking
出版事項: (2024)

The logic of causal order /
著者:: Davis, James A.
出版事項: (1985)

Derived Category Methods in Commutative Algebra
著者:: Christensen, Lars Winther, 等
出版事項: (2024)

Foundations of Commutative Rings and Their Modules
著者:: Wang, Fanggui, 等
出版事項: (2024)

The Mathematical and Philosophical Legacy of Alexander Grothendieck
出版事項: (2025)

Complex surveys: analysis of categorical data / Parival Mukhopadhyay.
著者:: Mukhopadhyay, Parimal
出版事項: (2016)

Helix Structures in Quantum Cohomology of Fano Varieties
著者:: Cotti, Giordano, 等
出版事項: (2024)

Introduction to logic/
著者:: Suppes, Patrick
出版事項: (1977)

Introduction to logic/
著者:: Suppes, Patrick
出版事項: (1977)

Introduction to Logic /
著者:: Suppes, Patrick
出版事項: (1957)

Introduction to the statistical analysis of categorical / Data
著者:: Andersen, Erling B.
出版事項: (1997)

Semi-Infinite Algebraic Geometry of Quasi-Coherent Sheaves on Ind-Schemes Quasi-Coherent Torsion Sheaves, the Semiderived Category, and the Semitensor Product /
著者:: Positselski, Leonid
出版事項: (2023)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
著者:: Church, Alonzo
出版事項: (1996)

Introduction to mathematical logic /
著者:: Church, Alonzo
出版事項: (1956)

Introduction to Symbolic Logic/
著者:: Basson, A. H.
出版事項: (1960)

Categorical Data Analysis /
著者:: Allen, Agresti
出版事項: (1990)

Categorical Data Analysis /
著者:: Bayo, L
出版事項: (2003)

Stat Analysis and Categorical /
著者:: A, Earling B
出版事項: (1997)

Stat Analysis and Categorical /
著者:: A, Earling B
出版事項: (1997)

Categorical Data Analysis /
著者:: Alan, Agresti
出版事項: (2013)

Categorical Data Analysis /
著者:: Agresti, Alan
出版事項: (2013)

Categorical Data Analysis
著者:: Alan, Agresti
出版事項: (2013)

Categorical Data Analysis
著者:: Agresti, Alan
出版事項: (2013)

Stat Analysis and Categorical
著者:: A, Earling B
出版事項: (1997)

Categorical Data Analysis
著者:: Allen, Agresti
出版事項: (1990)

Categorical Data Analysis
著者:: Bayo, L
出版事項: (2003)

Order statistics. /
著者:: DAVID, Herbert Aron
出版事項: (1981)

Higher Algebra:
著者:: Sharma, J. N.
出版事項: (1986)

Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck
著者:: Bismut, Jean-Michel, 等
出版事項: (2023)

Higher Trigonometry
著者:: Das, B. C.
出版事項: (1988)

Category Theory Using Haskell An Introduction with Moggi and Yoneda /
著者:: Yukita, Shuichi
出版事項: (2025)