Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday: 8222 (Lecture Notes in Computer Science, 8222) - Image 1

£41.56

Springer Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday: 8222 (Lecture Notes in Computer Science, 8222)

Name: Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday: 8222 (Lecture Notes in Computer Science, 8222)
Brand: Springer
Price: 39.93 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 79 days • 79 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 79 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (36 days, 45.6%)

Price range: £40 - £42

Price levels: 4 different prices over 79 days

Description

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642547885
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Publication Date: 17 March 2014
Listed Since: 21 February 2014

Barcode

No barcode data available

Springer Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday: 8222 (Lecture Notes in Computer Science, 8222)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

LMS: 177 Applications of Categories: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series, Series Number 177)

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

Category Theory: Invariances and Symmetries in Computer Science

Models, Logics, and Higher-Dimensional Categories - AMS Book

Type-Logical Semantics

LMS: 189 Locally Presentable (London Mathematical Society Lecture Note Series, Series Number 189)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Category Theory: No. 49 (Oxford Logic Guides)

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)

Categorial Grammar: Logical Syntax, Semantics, and Processing (Oxford Linguistics)

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Categories for Types (Cambridge Mathematical Textbooks)

Logic of Computation: SER F / v.157 (NATO ASI)

Logic, Logic, and Logic

Categories for the Working Mathematician: 5 (Graduate Texts in Mathematics, 5)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Categories, Allegories

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)