-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.
-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.
-20%
The Lvov-Warsaw School. Past and Present
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
Lvov-Warsaw School is a world phenomenon in developments of foundations for modern philosophy and logic How the Undefinability of the Notion of Truth survived and emerged like a Phoenix from ashes at the University of Berkeley This illuminating book is a consists of contributions of renown authors from the fields of Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models, Theory of Argumentation, Semiotics and Linguistics, Logic, Philosophy and Mathematics
-20%
The Lvov-Warsaw School. Past and Present
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
Lvov-Warsaw School is a world phenomenon in developments of foundations for modern philosophy and logic How the Undefinability of the Notion of Truth survived and emerged like a Phoenix from ashes at the University of Berkeley This illuminating book is a consists of contributions of renown authors from the fields of Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models, Theory of Argumentation, Semiotics and Linguistics, Logic, Philosophy and Mathematics
-20%
The Theory of Gödel
Price range: ₹7,329.00 through ₹10,248.00
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics.
-20%
The Theory of Gödel
Price range: ₹7,329.00 through ₹10,248.00
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics.
-20%
Turing’s Revolution: The Impact of His Ideas about Computability
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability.
-20%
Turing’s Revolution: The Impact of His Ideas about Computability
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability.
-20%
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Original price was: ₹14,894.00.₹11,916.00Current price is: ₹11,916.00.
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.
-20%
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Original price was: ₹14,894.00.₹11,916.00Current price is: ₹11,916.00.
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.
-20%
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
-20%
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.