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

Descripción completa

Detalles Bibliográficos

Otros autores:	Casadio, Claudia (edición)
Formato:	Libro
Idioma:	Inglés
Publicado:	Heidelberg, Alemania : Springer, 2014, c2014
Colección:	(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 línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!