-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.