Proof, Logic and Formalization

Request more info

Tags: ,

More From Same category

The Collected Papers of Bertrand Russell, Volume 6

-20 %

The years covered by this volume of the Collected Papers of Bertrand Russell were among the most productive, philosophically speaking, of Russell's en..

₹16,523.99 ₹20,654.99

-20 %

Substance

Substance: Its Nature and Existence is one of the first non-technical, accessible guides to this central problem and will be of great use to students ..

₹7,343.26 ₹9,179.08

An Introduction to Substructural Logics

-20 %

This book introduces an important group of logics that have come to be known as substructural. It is the first to survey the important impact this cla..

₹7,711.20 ₹9,639.00

Metaphysicians of Meaning

-20 %

This book forces us to reconsider contemporary approaches to the semantics of proper names and definite descriptions through a historically sensitive ..

₹2,643.10 ₹3,303.88

-20 %

If P, Then Q

Since its publication in 1989, David Sanford's If P Then Q has become one of the most widely respected works in the field of conditionals. This new ed..

₹2,422.78 ₹3,028.48

Philosophy of Probability: Contemporary Readings

-20 %

Philosophy of Probability: Contemporary Readings is the first anthology of essential readings in this important area of philosophy. Each section inclu..

₹2,422.78 ₹3,028.48

Conceptual Roots of Mathematics

-20 %

The Conceptual Roots of Mathematics is a comprehensive study of the foundation of mathematics. Lucas shows us that the philosophy of mathematics is ac..

₹2,643.10 ₹3,303.88

Philosophy of Logic (Routledge Revivals)

-20 %

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, t..

₹6,902.62 ₹8,628.28

The Russellian Origins of Analytical Philosophy

-20 %

This monograph reappraises the role of Bertrand Russell's philosophical works in establishing the analytical tradition in philosophy...

₹2,643.10 ₹3,303.88

Deducibility and Decidability

-20 %

The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability..

₹3,083.74 ₹3,854.68

-20 %

The Politics of Logic

In this book, Livingston develops the political implications of formal results obtained over the course of the twentieth century in set theory, metalo..

₹9,547.20 ₹11,934.00

Reflective Equilibrium and the Principles of Logical Analysis

-20 %

This book offers a comprehensive account of logic that addresses fundamental issues concerning the nature and foundations of the discipline. It presen..

₹9,547.20 ₹11,934.00