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...
- CHF 60.41
- CHF 60.41
- 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...
- CHF 92.04
- CHF 92.04
- 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,...
- CHF 67.77
- CHF 67.77
- 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,...
- CHF 207.07
- CHF 207.07
- 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...
- CHF 153.03
- CHF 153.03
- 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,...
- CHF 58.91
- CHF 58.91
- 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...
- CHF 89.51
- CHF 89.51
- 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...
- CHF 167.86
- CHF 167.86
- 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
- CHF 43.03
- CHF 43.03
- 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...
- CHF 273.83
- CHF 273.83
- 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,...
- CHF 47.97
- CHF 47.97
- 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...
- CHF 66.69
- CHF 66.69
- 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,...
- CHF 32.67
- CHF 32.67
- 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...
- CHF 172.55
- CHF 172.55
- 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...
- CHF 264.63
- CHF 264.63
- 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...
- CHF 43.13
- CHF 43.13
- 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...
- CHF 80.54
- CHF 80.54
- 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...
- CHF 33.89
- CHF 33.89
- 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...
- CHF 20.59
- CHF 20.59
- 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...
- CHF 17.24
- CHF 17.24
- Unit price
- per