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

Descrizione completa

Dettagli Bibliografici

Altri autori:	Casadio, Claudia (edición) (edición)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Heidelberg, Alemania : Springer, 2014, c2014
Serie:	(Lecture Notes in Computer Science ; Folli Publications on Logic, Language and Information) 8222.
Soggetti:	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
Accesso online:	Ver documento en línea
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!