Logic
-
A Logical JourneyHao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt G del. A Logical Journey is a continuation of Wang's Reflections on G del and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in...
- ¥10,664 JPY
- ¥10,664 JPY
- Unit price
- per
-
The Little ProverAn introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging...
- ¥16,249 JPY
- ¥16,249 JPY
- Unit price
- per
-
Plato's SophistThis volume reconstructs Martin Heidegger's lecture course at the University of Marburg in the winter semester of 1924-25, which was devoted to an interpretation of Plato and Aristotle. Published for the first time in German in 1992 as volume 19 of Heidegger's Collected Works,...
- ¥11,964 JPY
- ¥11,964 JPY
- Unit price
- per
-
Introduction to LogicWith clear explanations and many contemporary examples drawn from popular culture and everyday life, author Paul Herrick untangles the complexities of logical theory in Introduction to Logic. Offering a unique combination of two approaches--the historical and the technical--he presents logic as both a fascinating,...
- ¥36,554 JPY
- ¥36,554 JPY
- Unit price
- per
-
One True Logic: A Monist ManifestoLogical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all...
- ¥27,015 JPY
- ¥27,015 JPY
- Unit price
- per
-
The Foundations of MathematicsThe transition from school mathematics to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts,...
- ¥10,400 JPY
- ¥10,400 JPY
- Unit price
- per
-
The Last WordIf there is such a thing as reason, it has to be universal. Reason must reflect objective principles whose validity is independent of our point of view--principles that anyone with enough intelligence ought to be able to recognize as correct. But this generality of...
- ¥15,802 JPY
- ¥15,802 JPY
- Unit price
- per
-
Elements of Set TheoryThis is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory...
- ¥29,633 JPY
- ¥29,633 JPY
- Unit price
- per
-
Higher-Order Logic and Type TheoryAuthor: John L. BellPublisher: Cambridge University PressPublished: 03/31/2022Pages: 88Binding Type: PaperbackWeight: 0.28lbsSize: 9.00h x 6.00w x 0.18dISBN: 9781108986908This title is not returnable
- ¥7,597 JPY
- ¥7,597 JPY
- Unit price
- per
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and BeyondThis is the first of two volumes by Professor Cherlin presenting the state of the art in the classification of homogeneous structures in binary languages and related problems in the intersection of model theory and combinatorics. Researchers and graduate students in the area will...
- ¥48,341 JPY
- ¥48,341 JPY
- Unit price
- per
-
Combinatory Logic; 1This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States,...
- ¥8,469 JPY
- ¥8,469 JPY
- Unit price
- per
-
Handbook of Formal Argumentation, Volume 2The Handbook of Formal Argumentation is a community effort aimed at providing a comprehensive and up-to-date view of the state of the art and current trends in the lively research field of formal argumentation. In recent years, this field has matured to a central...
- ¥11,772 JPY
- ¥11,772 JPY
- Unit price
- per
-
Solvable Cases of the Decision ProblemThis work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States,...
- ¥5,768 JPY
- ¥5,768 JPY
- Unit price
- per
-
The Vocabulary of Critical ThinkingThe Vocabulary of Critical Thinking offers an innovative way to improve students' thinking skills. It begins at a practical level by helping students master the crucial terms that are the building blocks of critical thinking--terms such as "generalization," "inferring," "to confirm," "justifying," "assumption," and...
- ¥30,462 JPY
- ¥30,462 JPY
- Unit price
- per
-
Straw Man Arguments: A Study in Fallacy TheoryThis book analyses the straw man fallacy and its deployment in philosophical reasoning. While commonly invoked in both academic dialogue and public discourse, it has not until now received the attention it deserves as a rhetorical device. Scott Aikin and John Casey propose that...
- ¥46,716 JPY
- ¥46,716 JPY
- Unit price
- per
-
Figuring It Out: Logic DiagramsThe book begins with an extensive survey of the history of logic diagrams, including looking at possible diagrams from Aristotle, the development of both linear and closed figure diagrams by Leibniz, Lambert, Euler, Venn's new system, Peirce's Existential Graphs, and Frege's two-dimensional notation as...
- ¥7,613 JPY
- ¥7,613 JPY
- Unit price
- per
-
Logic Primer, Third EditionThe new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction to symbolic logic, providing concise definitions of key concepts, illustrative examples, and exercises. After presenting the definitions of validity and soundness, the...
- ¥14,218 JPY
- ¥14,218 JPY
- Unit price
- per
-
Princípios de Teoria dos ConjuntosApresenta-se, duma forma direta e concisa, os axiomas da teoria dos conjuntos ZFC e a matéria fundamental sobre ordinais e cardinais transfinitos. Esta matéria tem interesse não só para o matemático como também para o filósofo. A teoria dos conjuntos tem, porém, outra faceta...
- ¥5,983 JPY
- ¥5,983 JPY
- Unit price
- per
-
Introduction to Logic: and to the Methodology of Deductive SciencesThis classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.Alfred Tarski, one of the greatest logicians of all time, is widely thought of as...
- ¥3,635 JPY
- ¥3,635 JPY
- Unit price
- per
-
The Giant Book of Masyu: 1000 Easy to Hard Puzzles (10x10)✓ Great gift for family, friends or work colleaguesMasyu is a logic puzzle with simple rules and challenging solutions. It is played on a rectangular grid of squares, some of which contain circles; each circle is either "white" (empty) or "black" (filled).This Logic Puzzles...
- ¥3,043 JPY
- ¥3,043 JPY
- Unit price
- per