Mathematical Logic
-
Godel, Escher,Bach
HOFSTADTER DOUGLAS R.Current price €23.18Original price €24.15Douglas Hofstadter's book is concerned directly with the nature of `maps` or links between formal systems. However, according to Hofstadter, the fo...
View full detailsCurrent price €23.18Original price €24.15Save 4% -
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy
Rachel RileyCurrent price €16.59Original price €19.99An engaging, accessible introduction into how numbers work and why we shouldnt be afraid of them, from maths expert Rachel Riley. ...
View full detailsCurrent price €16.59Original price €19.99Save 17% -
Logic: A Very Short Introduction
Graham PriestCurrent price €14.87Original price €15.99Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible intr...
View full detailsCurrent price €14.87Original price €15.99Save 7% -
Dick de Jongh on Intuitionistic and Provability Logics
Springer International Publishing AGCurrent price €114.38Original price €122.99This book is dedicated to Dick de Jonghs contributions to the theory of intuitionistic and provability logics. Consisting of 12 chapters, written b...
View full detailsCurrent price €114.38Original price €122.99Save 7% -
The Foundations of Experimental Physics: Unraveling the Premises of Physical and Scientific Knowledge
Jacopo ParraviciniCurrent price €128.69Original price €142.99Standard STEM courses, for all of their value, do not tend to include systematic lectures or treatment about the nature of the scientific method. T...
View full detailsCurrent price €128.69Original price €142.99Save 10% -
Themes from Weir: A Celebration of the Philosophy of Alan Weir
Springer International Publishing AGCurrent price €102.82Original price €112.99This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow...
View full detailsCurrent price €102.82Original price €112.99Save 9% -
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods: FCMTCCT2 2022, Almería, Spain, July 1115, Invited and Selected Contributions
Springer International Publishing AGCurrent price €164.34Original price €172.99This volume comprises selected contributions by the participants of the second Functor Categories, Model Theory, Algebraic Analysis and Constructiv...
View full detailsCurrent price €164.34Original price €172.99Save 5% -
From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Springer International Publishing AGCurrent price €56.69Original price €62.99Alfredo Ferros impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and C...
View full detailsCurrent price €56.69Original price €62.99Save 10% -
The New Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators
Alexander SoiferCurrent price €183.34Original price €192.99The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and so...
View full detailsCurrent price €183.34Original price €192.99Save 5% -
On Constructive Interpretation of Predictive Mathematics (1990)
Charles ParsonsCurrent price €30.39Original price €31.99First published in 1990, this book consists of a detailed exposition of results of the theory of interpretation developed by G. Kreisel the relati...
View full detailsCurrent price €30.39Original price €31.99Save 5% -
Boolean Functions: Theory, Fundamentals & Engineering Applications
Nova Science Publishers IncCurrent price €164.34Original price €172.99Symmetric Boolean functions have played an important role in many aspects of design automation for many years. This book summarizes developments an...
View full detailsCurrent price €164.34Original price €172.99Save 5% -
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Springer International Publishing AGCurrent price €114.38Original price €122.99This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justificatio...
View full detailsCurrent price €114.38Original price €122.99Save 7% -
Tale Of Discrete Mathematics, A: A Journey Through Logic, Reasoning, Structures And Graph Theory
Joseph KhouryCurrent price €141.54Original price €148.99Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolutio...
View full detailsCurrent price €141.54Original price €148.99Save 5% -
Philosophie der Mathematik
Roman MurawskiCurrent price €52.07Original price €55.99Dieses Werk ist eine Einführung in philosophische Probleme und Hintergründe des mathematischen Denkens, Lehrens und Lernens. Es beinhaltet mathemat...
View full detailsCurrent price €52.07Original price €55.99Save 7% -
Topological Duality for Distributive Lattices: Theory and Applications
Mai GehrkeCurrent price €70.19Original price €77.99Introducing StonePriestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and re...
View full detailsCurrent price €70.19Original price €77.99Save 10% -
Calcudoku Logic Puzzles: 500 Easy to Hard (9x9): : Keep Your Brain Young
Khalid AlzamiliCurrent price €11.39Original price €11.99Current price €11.39Original price €11.99Save 5% -
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo MancosuCurrent price €93.92Original price €100.99An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exe...
View full detailsCurrent price €93.92Original price €100.99Save 7% -
How to Expect the Unexpected: The Science of Making Predictions and the Art of Knowing When Not To
Kit YatesCurrent price €19.79Original price €21.99A Waterstones Best Popular Science Book of 2023'Delightfully clear and vivid to read...A splendid book! Philip Pullman'Absolutely fascinating' Jame...
View full detailsCurrent price €19.79Original price €21.99Save 10% -
Robert Rosen and Relational System Theory: An Overview
James Bryan LennoxCurrent price €102.82Original price €112.99This book focuses on Robert Rosens contributions to relational system theory, which is the science of organization and function. This science was o...
View full detailsCurrent price €102.82Original price €112.99Save 9% -
Residuated Structures in Algebra and Logic
Constantine TsinakisCurrent price €120.64Original price €126.99This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-st...
View full detailsCurrent price €120.64Original price €126.99Save 5% -
Extensions of the Axiom of Determinacy
Paul B. LarsonCurrent price €71.24Original price €74.99This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in parti...
View full detailsCurrent price €71.24Original price €74.99Save 5% -
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
Luca TranchiniCurrent price €39.59Original price €43.99This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic ...
View full detailsCurrent price €39.59Original price €43.99Save 10% -
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
Luca TranchiniCurrent price €50.39Original price €55.99This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic ...
View full detailsCurrent price €50.39Original price €55.99Save 10%