1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Introduction toHigher OrderCategorical Logic. J. L. BellJ. LambekPhilip Scott1989 год

Introduction to Higher Order Categorical Logic.
статья из журнала

Страница публикацииПубликация в OpenAlex
Аннотация: Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories Bibliography Author index Subject index.
Год издания: 1989
Авторы: J. L. Bell, J. Lambek, Philip Scott
Издательство: Cambridge University Press
Источник: Journal of Symbolic Logic
Ключевые слова: Advanced Algebra and Logic