Logic
-
Basic Category Theory for Computer ScientistsBasic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.Category theory is a branch of pure mathematics that is becoming an increasingly important tool in...
- €83,96 EUR
- €83,96 EUR
- Unit price
- per
-
Fundamentals of Mathematical ProofThis mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning...
- €53,52 EUR
- €53,52 EUR
- Unit price
- per
-
A Mathematical Introduction to LogicA Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy...
- €271,06 EUR
- €271,06 EUR
- Unit price
- per
-
Introduction to Mathematical PhilosophyAccording to Bertrand Russell, "logical symbolism is absolutely essential to any precise or thorough treatment of mathematical philosophy because language is misleading and because it is diffuse and inexact when applied to logic (for which it was never intended)." This book, a landmark in...
- €26,85 EUR
- €26,85 EUR
- Unit price
- per
-
Shadows of Science: How to Uphold Science, Detect Pseudoscience, and Expose Antiscience in the Age of DisinformationIn this enlightening and entertaining book, author and Skeptical Inquirer editor Kendrick Frazier takes readers on a journey to the contentious boundary zone between science and its antagonists: pseudoscience (pretend science) and anti-science (open hostility to science). Pseudoscience romps in the shadows of science...
- €38,78 EUR
- €38,78 EUR
- Unit price
- per
-
O'Kheiluf! The Rabbinic Struggle with the ContrapositiveIn this book Dr. Amelia Spivak uncovers a type of tannaitic argument that was lost: neither traditional nor academic scholars seem to have known of its existence. The author finds examples scattered across the range of tannaitic literature - including in well-trodden passages -...
- €53,57 EUR
- €53,57 EUR
- Unit price
- per
-
Nagarjuna, Nondualism and the Nature of NothingA new approach to understanding our world is rapidly gaining ascendancy in the hearts and minds of people everywhere; a worldview steeped in the growing awareness that we are One family, One humanity. At the foundation of this worldview is a mode of thinking...
- €41,54 EUR
- €41,54 EUR
- Unit price
- per
-
Master Critical Thinking for Teens: The Complete Guide to Improving Decision-Making Skills, Mastering Problem Solving, and Conquering Logical FallacieCritical thinking is the compass that guides your decisions through life. It's the ability to be aware of information given to you - and act accordingly.Outside of external circumstances, one's critical thinking ability has proven to be the single most important element in determining...
- €35,43 EUR
- €35,43 EUR
- Unit price
- per
-
Lambda-Calculus and Combinators: An IntroductionCombinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly...
- €173,28 EUR
- €173,28 EUR
- Unit price
- per
-
Temporal LogicsTemporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the...
- €44,86 EUR
- €44,86 EUR
- Unit price
- per
-
Writing Proofs in AnalysisThis is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to...
- €140,30 EUR
- €140,30 EUR
- Unit price
- per
-
Programs as Diagrams: From Categorical Computability to Computable CategoriesIt is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language...
- €215,86 EUR
- €215,86 EUR
- Unit price
- per
-
The CategoriesThe Categories is a text from Aristotle's Organon that enumerates all the possible kinds of things that can be the subject or the predicate of a proposition. They are "perhaps the single most heavily discussed of all Aristotelian notions". The work is brief enough...
- €10,71 EUR
- €10,71 EUR
- Unit price
- per
-
Logic Puzzles for Adults & Seniors: 500 Hard Puzzles (Sudoku, Shikaka, Masyu, Kuromasu, Jigsaw Sudoku, Slitherlink, Suguru, Skyscrapers, Numbrix, BinaThis Hard Logic Puzzles book is packed with the following features: - 500 Hard Logic Puzzles (48 Sudoku, 48 Shikaka, 36 Masyu, 32 Kuromasu, 48 Jigsaw Sudoku, 36 Slitherlink, 48 Suguru, 40 Skyscrapers, 48 Numbrix, 36 Binary, 48 Minesweeper and 32 Futoshiki).- Answers to...
- €14,16 EUR
- €14,16 EUR
- Unit price
- per
-
Hegel: A ReinterpretationThe continuing discovery of important Hegel manuscripts and advances in the criticism of Hegel's works have set the stage for a major reevaluation of one of the greatest philosophers of all time. This volume constitutes the comprehensive reinterpretation of Hegel that has long been...
- €59,97 EUR
- €59,97 EUR
- Unit price
- per
-
Stoic Quotes: 365 Daily Reflections & Thoughts of Wisdom to Strengthen your Perspective.Stoicism is an ancient philosophy adopted by many in the pursuit of self-mastery, perseverance, and wisdom. Reading into the philosophy of Stoicism uncovers enlightening perspectives to cultivate one's mind.No matter where you are in life, quotes from those whose wisdom has stood the test...
- €18,70 EUR
- €18,70 EUR
- Unit price
- per
-
Logic - The Theory of InquiryThis antiquarian volume contains a detailed treatise on logic and the theory of 'Inquiry', as a development of ideas regarding the nature of logical theory that were first presented in Studies in Logical Theory. The present work is marked in particular by application of...
- €94,01 EUR
- €94,01 EUR
- Unit price
- per
-
A Lambda Calculus SatelliteIn 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting lambda-terms) for the latter. Both proposals turned out to formalize...
- €87,74 EUR
- €87,74 EUR
- Unit price
- per
-
An Introduction to Mathematical ProofsAn Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach to proof techniques and related topics. No prerequisites are needed...
- €125,21 EUR
- €125,21 EUR
- Unit price
- per
-
The Philosophy of Symbolic Forms, Volume 3: Phenomenology of Cognition"In his Phenomenology of Cognition, Cassirer provides a comprehensive and systematic account of the dynamic process involved in the whole of human culture as it progresses from the world of myth and its feeling of social belonging to the highest abstractions of mathematics, logic...
- €95,82 EUR
- €95,82 EUR
- Unit price
- per