Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /

Obra que reúne ensayos publicados con motivo del cumpleaños 90 del matemático canadiense, nacido en Alemania, Jim Lambek, quien hizo contribuciones importantes al campo del álgebra, a la teoría de categorías, a la lógica y a la teoría de la demostración; sus alumnos, y destacados investigadores, exp...

Повний опис

Бібліографічні деталі

Інші автори:	Casadio, Claudia (edición) (edición)
Формат:	Книга
Мова:	Англійська
Опубліковано:	Heidelberg, Alemania : Springer, 2014, c2014
Серія:	(Lecture Notes in Computer Science ; Folli Publications on Logic, Language and Information) 8222.
Предмети:	Cálculo de Predicados Cálculo de Proposiciones Categorías (Matemáticas) Lenguaje Matemático Teoría Axiomática de Conjuntos Teoría de la Demostración - > Tema Principal Lógica Matemática - > Tema Principal Algebra Física Matemáticas Lambek, Jim - > Tema Principal
Онлайн доступ:	Ver documento en línea
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!