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

Volledige beschrijving

Bibliografische gegevens

Andere auteurs:	Casadio, Claudia (edición)
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	Heidelberg, Alemania : Springer, 2014, c2014
Reeks:	(Lecture Notes in Computer Science ; Folli Publications on Logic, Language and Information) 8222.
Onderwerpen:	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
Online toegang:	Ver documento en línea
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!