Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics Philip J. S
Titel: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Einband: Buch, Autor: Philip J. Scott, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 464, Maße: 241x160x31 mm, Gewicht: 857 g, Verkäufer: buch-mimpf, Schlagworte: Categorical Proof Theory and Coherence Categorical Recursion Theory Category theory and Algebra Extensions of Lambek Calculi Lambda Calculi and Dependent Types Lambek Grammars and their extensions Lambek's Pregroup models of linguistics Laws and Proof-Nets Mathematics of Text Structure Monoidal and Mal'cev Categories Noncommutative Linear Logics, Pomset logics, and Proof Nets Noncommutative Variants of Linear Logic Pomset logic Sheaf Representation and Duality Sheaf Representations and Duality in Logic naturalness of Maltsev categories.
Jetzt bei Ebay:
