We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£97.00
Springer Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Price data last checked 105 day(s) ago - refreshing...
View at Amazon
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 1 year ago.
£97 today · all-time low £93 (Jan 2025) · usually the usual
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↓ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↓ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 626 days • 626 data points (No recent data available)
Price Distribution
Price distribution over 626 days • 8 price levels
Current Price
Price Analysis
Most common price: £97 (307 days, 49.0%)
Price range: £93 - £110
Price levels: 8 different prices over 626 days
Description
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic. From the Back Cover This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic. About the Author Nikolaos Galatos received his BS from Aristotle University in Greece and is MS and PhD in Mathematics (2003) from Vanderbilt University in the US. He has held Assistant Professor positions at the Japan Institute of Science and Technology and at Vanderbilt University. Since 2007 he is employed at the University of Denver where he is Professor of Mathematics. His area of research is at the intersection of Universal Algebra, Algebraic Logic and Proof Theory. His work has focused on residuated lattices and substructural logics, exploring the interplay between order algebra and proof theory. He has published more than thirty research articles, served as an editor for a special issue, and coauthored a book. Kazushige Terui received his BA, MS and PhD in Philosophy (2002) from Keio University. He has been an Associate Professor at the National Institute of Informatics in Tokyo and many other visiting positions in Europe. Since 2008 he is an Associate Professor at the Research Institute for Mathematical Sciences at Kyoto University. His research interests and work areas include Non-classical Logics, Logics in Computer Science, Lambda Calculus, Type Theory, as well as implicit computational complexity. He has published more than thirty articles and served as a program committee member for numerous conferences.
Product Specifications
- Brand
- Springer
- Format
- Hardcover
- ASIN
- 3030769194
- Domain
- Amazon UK
- Release Date
- 14 December 2021
- Listed Since
- 15 August 2020
Barcode
No barcode data available
Similar Products You Might Like
96% match
Mathematics in Programming
Springer
£49.90
15 Feb 2026
96% match
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
£96.05
02 Mar 2026
96% match
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
£138.22
09 Dec 2025
96% match
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Springer
£82.80
07 Mar 2026
96% match
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Springer
£83.43
01 Mar 2026
96% match
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
£111.23
04 Feb 2026
96% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
96% match
Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)
Springer
£67.13
13 Feb 2026
96% match
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
£76.14
08 Apr 2026
95% match
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
£107.73
13 Apr 2026
95% match
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
Springer
£59.97
08 Mar 2026
95% match
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
£60.17
23 Jan 2026
95% match
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
£133.00
01 Apr 2026
95% match
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
Springer
£52.52
24 Jan 2026
95% match
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
£91.50
10 Mar 2026
95% match
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
Cambridge University Press
£49.98
09 Mar 2026
95% match
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
£75.35
25 Feb 2026
95% match
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
Springer
£43.99
24 Feb 2026
95% match
La lógica polivalente de Jan Lukasiewicz: La crítica de la semántica clásica
EAE Editorial Academia Espanola
£47.00
20 Apr 2026
95% match
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
Springer
£100.88
14 Apr 2026
95% match
Mathematical Logic and Computation
£55.89
13 Jan 2026
95% match
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
£133.99
10 Apr 2026
95% match
Logic for Mathematicians
Cambridge University Press
£37.68
12 Dec 2025
95% match
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Springer
£67.04
28 Feb 2026