Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
R-CALCULUS: A Logic of Belief Revision (Bog, Hardback, Engelsk)It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Can Mathematics Be Proved Consistent?: Godel's Shorthand Notes & Lectures on Incompleteness (Bog, Hardback, Engelsk)Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021) (Bog, Hardback, Engelsk)John Corcoran was a very well-known logician who worked on several areas of logic. By encompassing a diverse range of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This open access book constitutes the proceedings of the First International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Unequal: The Maths of When Things Do and Don’t Add Up (Bog, Paperback / softback, Engelsk)Levering: Kan forudbestilles (Forventes d. 04-06-2026) -
Bemærk: Kan ikke leveres før jul.
Completely Regular Semigroup Varieties: Applications and Advanced Techniques (Bog, Hardback, Engelsk)The mapping that takes each variety to its intersection with the variety of bands is a complete retraction of the lattice of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Saul Kripke on Modal Logic (Bog, Hardback, Engelsk)This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
New Directions in Relevant Logic (Bog, Hardback, Engelsk)This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. Relevant logics have... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Fuzzy Mathematics: A Fundamental Introduction (Bog, Hardback, Engelsk)This book aims to introduce readers without a strong mathematical background to the basic ideas of fuzzy set theory and logic. This book allows readers to... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Paradoxes Between Truth and Proof (Bog, Hardback, Engelsk)The truth-theoretic tradition stems from Alfred Tarski's solution to the semantic paradoxes, while the proof-theoretic tradition dates back to Dag Prawitz's analysis of set-theoretic paradoxes in terms of structural proof theory.
Levering: Skaffevare (forvent 14 - 30 hverdage)
