Logic
-
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraThis text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety of ways to proceed with the...
- CHF 103.91
- CHF 103.91
- Unit price
- per
-
Investigations into the Predicate CalculusOiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in Göttingen, with Ketonen hoping to receive a suitable topic for a doctoral dissertation and Gentzen instead deeply immersed...
- CHF 31.83
- CHF 31.83
- Unit price
- per
-
Essential Mathematics for Undergraduates: A Guided Approach to Algebra, Geometry, Topology and AnalysisAuthor: Simon G. ChiossiPublisher: SpringerPublished: 02/18/2023Pages: 490Binding Type: PaperbackWeight: 1.57lbsSize: 9.21h x 6.14w x 1.03dISBN: 9783030871765About the AuthorSimon G. Chiossi is a lecturer at Fluminense Federal University in Brazil. He was awarded a Ph.D. in mathematics from the University of Genoa in 2003. His...
- CHF 135.10
- CHF 135.10
- Unit price
- per
-
Secrets of the Stoics: How to Live an Undefeatable LifeIf you have been struggling with the big questions: Who am I? How can I find my purpose? How should I live my life? Stoicism has the answers.In Secrets of the Stoics, you will learn about three of the most influential ancient Stoics: Marcus...
- CHF 38.79
- CHF 38.79
- Unit price
- per
-
Bullspotting: Finding Facts in the Age of MisinformationThis entertaining and educational book applies the tools of critical thinking to identify the common features and trends among misinformation campaigns. With illustrations drawn from conspiracy theorists and deniers of every stripe, the author teaches readers how rumors are started, and the rhetorical techniques...
- CHF 28.08
- CHF 28.08
- Unit price
- per
-
This Book Needs No Title: A Budget of Living ParadoxesThis Book Needs No Title brings the delight and fascination with self-reference and paradox that distinguish Raymond Smullyan's popular books on logic to bear on philosophical and spiritual themes. Progressing organically from brief anecdotes, paradoxes, jokes, and epigrams to dialogues, essays, and finally the...
- CHF 36.86
- CHF 36.86
- Unit price
- per
-
Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden PowersAn entertaining look at the origins of mathematical symbols While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians...
- CHF 78.53
- CHF 78.53
- Unit price
- per
-
On Cantor and the TransfiniteA set in mathematics is just a collection of elements; an example is the set of natural numbers {1, 2, 3, ...}. Simplifying somewhat, the theory of sets can be regarded as the foundation on which the whole of mathematics is built; and the...
- CHF 69.22
- CHF 69.22
- Unit price
- per
-
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in LifeDirk van Dalen's biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the...
- CHF 76.21
- CHF 76.21
- Unit price
- per
-
The Cambridge Companion to Ancient LogicAuthor: Luca CastagnoliPublisher: Cambridge University PressPublished: 03/02/2023Pages: 320Binding Type: PaperbackWeight: 1.30lbsSize: 9.00h x 6.00w x 0.90dISBN: 9781107656772This title is not returnable
- CHF 68.70
- CHF 68.70
- Unit price
- per
-
Logic Without Gaps or Gluts: How to Solve the Paradoxes Without Sacrificing Classical LogicThis book offers a defense against non-classical approaches to the paradoxes. The author argues that, despite appearances, the paradoxes give no reason at all to reject classical logic. In fact, he believes classical solutions fare better than non-classical ones with respect to key tests...
- CHF 207.85
- CHF 207.85
- Unit price
- per
-
The Nuts and Bolts of Proofs: An Introduction to Mathematical ProofsThe Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The book offers techniques for both reading and writing proofs, discusses techniques in proving if/then statements by contrapositive and proofing by...
- CHF 83.08
- CHF 83.08
- Unit price
- per
-
Introduction to Discrete Mathematics Via Logic and ProofThis textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to...
- CHF 124.70
- CHF 124.70
- Unit price
- per
-
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum ComputingCalculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people...
- CHF 162.14
- CHF 162.14
- Unit price
- per
-
How to Win Arguments: How to Win Arguments and Refute Misleading Logic (Essential Tactics of Logic and Persuasion to Win in Your Career andHave you avoided arguments because you were afraid they would explode into a shouting match and threaten your most important relationships?What if you could speak your mind in an argument and not only win, but get people to like you more than they did...
- CHF 27.64
- CHF 27.64
- Unit price
- per
-
Peeling Potatoes or Grinding Lenses: Spinoza and Young Wittgenstein Converse on Immanence and Its Logic"I can work best now while peeling potatoes. . . . It is for me what lens-grinding was for Spinoza."--L. Wittgenstein More than 250 years separate the publication of Baruch Spinoza's Ethics and Ludwig Wittgenstein's Tractatus Logico-Philosophicus. Both are considered monumental philosophical treatises, produced...
- CHF 120.69
- CHF 120.69
- Unit price
- per
-
Burn Math Class: And Reinvent Mathematics for YourselfA manifesto for a mathematical revolution Forget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math -- with its unwelcoming textbooks, unexplained rules, and authoritarian assertions-and sets it on fire. Focusing on...
- CHF 48.51
- CHF 48.51
- Unit price
- per
-
60 Jahre DVMLGThis volume celebrates the 60th anniversary of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG) which was founded on 28 July 1962. The DVMLG is the learned society representing logic and foundations within the German-speaking world. The volume contains...
- CHF 34.02
- CHF 34.02
- Unit price
- per
-
Logic: An IntroductionAuthor: Lionel RubyPublisher: Paper Tiger (NJ)Published: 05/20/2000Pages: 544Binding Type: HardcoverWeight: 1.98lbsSize: 9.24h x 6.44w x 1.58dISBN: 9781889439143
- CHF 73.84
- CHF 73.84
- Unit price
- per
-
Mathematical Logic: An IntroductionMathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such...
- CHF 145.50
- CHF 145.50
- Unit price
- per