-20%
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Price range: ₹4,410.00 through ₹5,661.00
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent calculi.
Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results Includes many results and their proofs that are often not well known or easily accessible Examines important and nonstandard generalized sequent calculi, like hypersequent and structured sequent calculi.
Additional information
| Book Format | Hardcover, Softcover |
|---|
Be the first to review “Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi”
Book information
Edition
1st Edition
ISBN [Hardcover]
9783030571443
ISBN [Softcover]
9783030571474
Publisher
Springer
Year
2021
Pages
XVI, 345 p.
Series Title
Studies in Universal Logic
Language
English
Related Products
-20%
*- Autonomous Categories
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
This book stems from lectures on commutative algebra for 4th-year university students at two French universities (Paris and Rennes). At that level, students have already followed a basic course in linear algebra and are essentially fluent with the language of vector spaces over fields.
-20%
*- Autonomous Categories
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
This book stems from lectures on commutative algebra for 4th-year university students at two French universities (Paris and Rennes). At that level, students have already followed a basic course in linear algebra and are essentially fluent with the language of vector spaces over fields.
-20%
A Compact Course on Linear PDEs
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
The book addresses the rigorous foundations of mathematical analysis. The first part presents a complete discussion of the fundamental topics: a review of naive set theory, the structure of real numbers, the topology of R, sequences, series, limits, differentiation and integration according to Riemann.
-20%
A Compact Course on Linear PDEs
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
The book addresses the rigorous foundations of mathematical analysis. The first part presents a complete discussion of the fundamental topics: a review of naive set theory, the structure of real numbers, the topology of R, sequences, series, limits, differentiation and integration according to Riemann.
-20%
A Concise Introduction to Measure Theory
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This undergraduate textbook offers a self-contained and concise introduction to measure theory and integration.
The author takes an approach to integration based on the notion of distribution.
-20%
A Concise Introduction to Measure Theory
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This undergraduate textbook offers a self-contained and concise introduction to measure theory and integration.
The author takes an approach to integration based on the notion of distribution.
-20%
A Complex Analysis Problem Book
Original price was: ₹9,681.00.₹7,746.00Current price is: ₹7,746.00.
The aim of this work is the definition of the polyhedral compactification of the Bruhat-Tits building of a reductive group over a local field. In addition, an explicit description of the boundary is given.
-20%
A Complex Analysis Problem Book
Original price was: ₹9,681.00.₹7,746.00Current price is: ₹7,746.00.
The aim of this work is the definition of the polyhedral compactification of the Bruhat-Tits building of a reductive group over a local field. In addition, an explicit description of the boundary is given.
Reviews
There are no reviews yet.