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...

Descrición completa

Detalles Bibliográficos

Outros autores:	Casadio, Claudia (edición) (edición)
Formato:	Libro
Idioma:	inglés
Publicado:	Heidelberg, Alemania : Springer, 2014, c2014
Series:	(Lecture Notes in Computer Science ; Folli Publications on Logic, Language and Information) 8222.
Temas:	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
Acceso en liña:	Ver documento en línea
Etiquetas:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!