-20%
Advances in Proof Theory
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.
Additional information
| Book Format | Hardcover, Softcover |
|---|
Be the first to review “Advances in Proof Theory”
Book information
Edition
1st Edition
ISBN [Hardcover]
9783319291963
ISBN [Softcover]
9783319805139
Publisher
Springer
Year
2016
Pages
XII, 425 p.
Series Title
Progress in Computer Science and Applied Logic
Language
English
Related Products
-20%
A Course on Topological Vector Spaces
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
Includes a streamlined introduction to the duality theory of locally convex spaces, culminating in the Mackey-Arens theorem Treats various important topics concerning the weak topology of Banach spaces Discusses examples of function spaces which occur in applications to differential operators and measure theory Provides as a highlight the treatment of weak compactness in L_1-spaces
-20%
A Course on Topological Vector Spaces
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
Includes a streamlined introduction to the duality theory of locally convex spaces, culminating in the Mackey-Arens theorem Treats various important topics concerning the weak topology of Banach spaces Discusses examples of function spaces which occur in applications to differential operators and measure theory Provides as a highlight the treatment of weak compactness in L_1-spaces
-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 Basic Guide to Uniqueness Problems for Evolutionary Differential Equations
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
This text develops the necessary background in probability theory underlying diverse treatments of stochastic processes and their wide-ranging applications. In this second edition, the text has been reorganized for didactic purposes, new exercises have been added and basic theory has been expanded.
-20%
A Basic Guide to Uniqueness Problems for Evolutionary Differential Equations
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
This text develops the necessary background in probability theory underlying diverse treatments of stochastic processes and their wide-ranging applications. In this second edition, the text has been reorganized for didactic purposes, new exercises have been added and basic theory has been expanded.
-20%
A Course in Python: The Core of the Language
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
A hands-on introduction to Python, ideal for a first course or self-study Provides numerous worked-out exercises showing how to write programs in Python Includes several case studies with code, as well as practice problems
-20%
A Course in Python: The Core of the Language
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
A hands-on introduction to Python, ideal for a first course or self-study Provides numerous worked-out exercises showing how to write programs in Python Includes several case studies with code, as well as practice problems
Reviews
There are no reviews yet.