-20%
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
-20%
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
-20%
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.
-20%
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.
-20%
Logic and Structure
Original price was: ₹7,596.00.₹6,078.00Current price is: ₹6,078.00.
Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras
-20%
Logic and Structure
Original price was: ₹7,596.00.₹6,078.00Current price is: ₹6,078.00.
Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras
-20%
Logic Colloquium: Symposium on Logic held at Boston, 1972-73
Original price was: ₹4,990.00.₹3,993.00Current price is: ₹3,993.00.
-20%
Logic Colloquium: Symposium on Logic held at Boston, 1972-73
Original price was: ₹4,990.00.₹3,993.00Current price is: ₹3,993.00.
-20%
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Year 1979-80: The University of Connecticut, USA
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Year 1979-80: The University of Connecticut, USA
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
Presents a wide range of results in logic and computational complexity Explains the topic informally and then in more detail for the advanced reader Presents the ideas behind the theoretical concepts Includes supplementary material: sn.pub/extras
-20%
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
Presents a wide range of results in logic and computational complexity Explains the topic informally and then in more detail for the advanced reader Presents the ideas behind the theoretical concepts Includes supplementary material: sn.pub/extras
-20%
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics.
-20%
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics.
-20%
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This volume features a critical edition of the recently rediscovered manuscripts written by the French philosopher Louis Couturat (1868-1914).
It includes the transcriptions of three of his believed to be lost manuscripts: first the “Cours de Caen: 1898-99” on various systems of symbolic logic, second his lecture at the Collège de France “Histoire de la logique formelle moderne', and third his textbook on mathematical logic. The manuscripts document the early reception of mathematical logic in France and provide insights into the first introduction of the French reader to the work of Gottlob Frege and Bertrand Russell.
It is the aim of the editors of this volume to contribute to the history of symbolic logic, particularly the history of its dissemination and its teaching in France. At the same time, the volume contributes to an alternative history and conception of philosophy in which semiotics and concrete mathematical practice stand in focus.
The book is interesting for students and researchers in the history of philosophy, mathematics, and logic.
-20%
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This volume features a critical edition of the recently rediscovered manuscripts written by the French philosopher Louis Couturat (1868-1914).
It includes the transcriptions of three of his believed to be lost manuscripts: first the “Cours de Caen: 1898-99” on various systems of symbolic logic, second his lecture at the Collège de France “Histoire de la logique formelle moderne', and third his textbook on mathematical logic. The manuscripts document the early reception of mathematical logic in France and provide insights into the first introduction of the French reader to the work of Gottlob Frege and Bertrand Russell.
It is the aim of the editors of this volume to contribute to the history of symbolic logic, particularly the history of its dissemination and its teaching in France. At the same time, the volume contributes to an alternative history and conception of philosophy in which semiotics and concrete mathematical practice stand in focus.
The book is interesting for students and researchers in the history of philosophy, mathematics, and logic.
-20%
Low Order Cohomology and Applications
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Low Order Cohomology and Applications
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Lower Central and Dimension Series of Groups
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
Includes supplementary material: sn.pub/extras
-20%
Lower Central and Dimension Series of Groups
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
Includes supplementary material: sn.pub/extras
-20%
LP-Structure in Real Banach Spaces
Original price was: ₹2,905.00.₹2,325.00Current price is: ₹2,325.00.
-20%
LP-Structure in Real Banach Spaces
Original price was: ₹2,905.00.₹2,325.00Current price is: ₹2,325.00.
-20%
Lyapunov Exponents
Original price was: ₹11,767.00.₹9,414.00Current price is: ₹9,414.00.
This book offers a self-contained introduction to the theory of Lyapunov exponents and its applications, mainly in connection with hyperbolicity, ergodic theory and multifractal analysis. It discusses the foundations and some of the main results and main techniques in the area, while also highlighting selected topics of current research interest.
-20%
Lyapunov Exponents
Original price was: ₹11,767.00.₹9,414.00Current price is: ₹9,414.00.
This book offers a self-contained introduction to the theory of Lyapunov exponents and its applications, mainly in connection with hyperbolicity, ergodic theory and multifractal analysis. It discusses the foundations and some of the main results and main techniques in the area, while also highlighting selected topics of current research interest.
-20%
Lyapunov Exponents: Proceedings of a Conference held in Oberwolfach, May 28 – June 2, 1990
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Lyapunov Exponents: Proceedings of a Conference held in Oberwolfach, May 28 – June 2, 1990
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Lyapunov Inequalities and Applications
Original price was: ₹16,979.00.₹13,584.00Current price is: ₹13,584.00.
This book provides an extensive survey on Lyapunov-type inequalities. It summarizes and puts order into a vast literature available on the subject, and sketches recent developments in this topic. In an elegant and didactic way, this work presents the concepts underlying Lyapunov-type inequalities, covering how they developed and what kind of problems they address.
This survey starts by introducing basic applications of Lyapunov’s inequalities. It then advances towards even-order, odd-order, and higher-order boundary value problems; Lyapunov and Hartman-type inequalities; systems of linear, nonlinear, and quasi-linear differential equations; recent developments in Lyapunov-type inequalities; partial differential equations; linear difference equations; and Lyapunov-type inequalities for linear, half-linear, and nonlinear dynamic equations on time scales, as well as linear Hamiltonian dynamic systems.
Senior undergraduate students and graduate students of mathematics, engineering, and science will benefit most from this book, as well as researchers in the areas of ordinary differential equations, partial differential equations, difference equations, and dynamic equations. Some background in calculus, ordinary and partial differential equations, and difference equations is recommended for full enjoyment of the content.
-20%
Lyapunov Inequalities and Applications
Original price was: ₹16,979.00.₹13,584.00Current price is: ₹13,584.00.
This book provides an extensive survey on Lyapunov-type inequalities. It summarizes and puts order into a vast literature available on the subject, and sketches recent developments in this topic. In an elegant and didactic way, this work presents the concepts underlying Lyapunov-type inequalities, covering how they developed and what kind of problems they address.
This survey starts by introducing basic applications of Lyapunov’s inequalities. It then advances towards even-order, odd-order, and higher-order boundary value problems; Lyapunov and Hartman-type inequalities; systems of linear, nonlinear, and quasi-linear differential equations; recent developments in Lyapunov-type inequalities; partial differential equations; linear difference equations; and Lyapunov-type inequalities for linear, half-linear, and nonlinear dynamic equations on time scales, as well as linear Hamiltonian dynamic systems.
Senior undergraduate students and graduate students of mathematics, engineering, and science will benefit most from this book, as well as researchers in the areas of ordinary differential equations, partial differential equations, difference equations, and dynamic equations. Some background in calculus, ordinary and partial differential equations, and difference equations is recommended for full enjoyment of the content.
-20%
M-Ideals in Banach Spaces and Banach Algebras
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This book provides a comprehensive exposition of M-ideal theory, a branch ofgeometric functional analysis which deals with certain subspaces of Banach spaces arising naturally in many contexts. Starting from the basic definitions the authors discuss a number of examples of M-ideals (e.g. the closed two-sided ideals of C*-algebras) and develop their general theory.
-20%
M-Ideals in Banach Spaces and Banach Algebras
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This book provides a comprehensive exposition of M-ideal theory, a branch ofgeometric functional analysis which deals with certain subspaces of Banach spaces arising naturally in many contexts. Starting from the basic definitions the authors discuss a number of examples of M-ideals (e.g. the closed two-sided ideals of C*-algebras) and develop their general theory.
-21%
M-Structure and the Banach-Stone Theorem
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-21%
M-Structure and the Banach-Stone Theorem
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-20%
Möbius Functions, Incidence Algebras and Power Series Representations
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Möbius Functions, Incidence Algebras and Power Series Representations
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.