Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Universal Algebraic Logic: Dedicated to the Unity of Science (Bog, Paperback / softback, 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.
Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction (Bog, Paperback / softback, Engelsk)This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
First-Order Modal Logic (Bog, Hardback, Engelsk)This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Janusz Czelakowski on Logical Consequence (Bog, Hardback, Engelsk)The volume begins with an autobiographic chapter by Janusz Czelakowski followed by a historical chapter written by Jacek Malinowski. The survey section forms the backbone of the volume with each chapter covering one of Janusz Czelakowski’s results.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Peter Schroeder-Heister on Proof-Theoretic Semantics (Bog, Paperback / softback, Engelsk)This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. They deal with new trends and applications in the area of Dynamic Logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
-
Bemærk: Kan ikke leveres før jul.
QSPR/QSAR Analysis Using SMILES and Quasi-SMILES (Bog, Hardback, Engelsk)This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular structure.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Thinking and Calculating: Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai (Bog, Hardback, Engelsk)This volume collects 22 essays on the history of logic written by outstanding specialists in the field.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs (Bog, Hardback, Engelsk)This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Hiroakira Ono on Substructural Logics (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
