Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Hiroakira Ono on Substructural Logics (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
-
Bemærk: Kan ikke leveres før jul.
-
Bemærk: Kan ikke leveres før jul.
Founding Mathematics on Semantic Conventions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Essays in Constructive Mathematics (Bog, Hardback, Engelsk)Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A Protocol-theoretic Framework for the Logic of Epistemic Norms (Bog, Hardback, Engelsk)This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Universal Algebraic Logic: Dedicated to the Unity of Science (Bog, Hardback, Engelsk)The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic - Language - Ontology: Selected Works (Bog, Hardback, Engelsk)This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
R-CALCULUS: A Logic of Belief Revision (Bog, Paperback / softback, 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)
