Bokus

Outstanding Contributions to Logic

Visar alla böcker i serien Outstanding Contributions to Logic. Handla med fri frakt och snabb leverans.

  1. Krister Segerberg on Logic of Actions

    Krister Segerberg on Logic of Actions

    Del 1 · Robert Trypuz · 2013

  2. Nuel Belnap on Indeterminism and Free Action

    Nuel Belnap on Indeterminism and Free Action

    Del 2 · Thomas Müller · 2014

  3. David Makinson on Classical Methods for Non-Classical Problems

    David Makinson on Classical Methods for Non-Classical Problems

    Del 3 · Sven Ove Hansson · 2014

  4. Leo Esakia on Duality in Modal and Intuitionistic Logics

    Leo Esakia on Duality in Modal and Intuitionistic Logics

    Del 4 · Guram Bezhanishvili · 2014

  5. Johan van Benthem on Logic and Information Dynamics

    Johan van Benthem on Logic and Information Dynamics

    Del 5 · Alexandru Baltag, Sonja Smets · 2014

  6. Petr Hájek on Mathematical Fuzzy Logic

    Petr Hájek on Mathematical Fuzzy Logic

    Del 6 · Franco Montagna · 2014

  7. Dag Prawitz on Proofs and Meaning

    Dag Prawitz on Proofs and Meaning

    Del 7 · Heinrich Wansing · 2014

  8. J. Michael Dunn on Information Based Logics

    J. Michael Dunn on Information Based Logics

    Del 8 · Katalin Bimbo · 2016

  9. Hilary Putnam on Logic and Mathematics

    Hilary Putnam on Logic and Mathematics

    Del 9 · Geoffrey Hellman, Roy T. Cook · 2018

  10. Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    Del 10 · Eugenio G. Omodeo, Alberto Policriti · 2017

  11. Rohit Parikh on Logic, Language and Society

    Rohit Parikh on Logic, Language and Society

    Del 11 · Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam · 2017

  12. Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

    Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

    Del 12 · Hans van Ditmarsch, Gabriel Sandu · 2018

  13. Feferman on Foundations

    Feferman on Foundations

    Del 13 · Gerhard Jäger, Wilfried Sieg · 2018

  14. Raymond Smullyan on Self Reference

    Raymond Smullyan on Self Reference

    Del 14 · Melvin Fitting, Brian Rayman · 2018

  15. Larisa Maksimova on Implication, Interpolation, and Definability

    Larisa Maksimova on Implication, Interpolation, and Definability

    Del 15 · Sergei Odintsov · 2018

  16. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

    Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

    Del 16 · Janusz Czelakowski · 2019

  17. Ewa Orłowska on Relational Methods in Logic and Computer Science

    Ewa Orłowska on Relational Methods in Logic and Computer Science

    Del 17 · Joanna Golińska-Pilarek, Michał Zawidzki · 2018

  18. Graham Priest on Dialetheism and Paraconsistency

    Graham Priest on Dialetheism and Paraconsistency

    Del 18 · Can Başkent, Thomas Macaulay Ferguson · 2020

  19. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

    Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

    Del 20 · Claudia Casadio, Philip J. Scott · 2021

  20. Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

    Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

    Del 21 · Ofer Arieli, Anna Zamansky · 2021

  21. Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

    Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

    Del 22 · Ivo Düntsch, Edwin Mares · 2021

  22. Hiroakira Ono on Substructural Logics

    Hiroakira Ono on Substructural Logics

    Del 23 · Nikolaos Galatos, Kazushige Terui · 2021

  23. Samson Abramsky on Logic and Structure in Computer Science and Beyond

    Samson Abramsky on Logic and Structure in Computer Science and Beyond

    Del 25 · Alessandra Palmigiano, Mehrnoosh Sadrzadeh · 2023

  24. Kit Fine on Truthmakers, Relevance, and Non-classical Logic

    Kit Fine on Truthmakers, Relevance, and Non-classical Logic

    Del 26 · Federico L. G. Faroldi, Frederik Van De Putte · 2023

  25. Dick de Jongh on Intuitionistic and Provability Logics

    Dick de Jongh on Intuitionistic and Provability Logics

    Del 28 · Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang · 2024

  26. Peter Schroeder-Heister on Proof-Theoretic Semantics

    Peter Schroeder-Heister on Proof-Theoretic Semantics

    Del 29 · Thomas Piecha, Kai F. Wehmeier · 2024

  27. Saul Kripke on Modal Logic

    Saul Kripke on Modal Logic

    Del 30 · Yale Weiss, Romina Birman · 2024

  28. Philosophy of Penelope Maddy

    Philosophy of Penelope Maddy

    Del 31 · Sophia Arbeiter, Juliette Kennedy · 2024

  29. Walter Carnielli on Reasoning, Paraconsistency, and Probability

    Walter Carnielli on Reasoning, Paraconsistency, and Probability

    Del 32 · Henrique Antunes, Alfredo Roque Freire, Abilio Rodrigues · 2026

  30. Hajnal Andréka and István Németi on Unity of Science

    Hajnal Andréka and István Németi on Unity of Science

    Judit Madarász, Gergely Székely · 2021

  31. V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

    V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

    Alex Citkin, Ioannis M. Vandoulakis · 2022

  32. Janusz Czelakowski on Logical Consequence

    Janusz Czelakowski on Logical Consequence

    Jacek Malinowski, Rafał Palczewski · 2024