Author(s)
Bibliographic Information
Outstanding contributions to logic
Springer
Search this Book/Journal
-
1
- Kit fine on truthmakers, relevance, and non-classical logic
-
Federico L.G. Faroldi, Frederik Van De Putte, editors
Springer c2023 Outstanding contributions to logic 26
Available at 2 libraries
-
2
- V.A. Yankov on non-classical logics, history and philosophy of mathematics
-
Alex Citkin, Ioannis M. Vandoulakis, editors
Springer c2022 Outstanding contributions to logic 24
Available at 3 libraries
-
3
- Arnon Avron on semantics and proof theory of non-classical logics
-
Ofer Arieli, Anna Zamansky, editors
Springer c2021 Outstanding contributions to logic v. 21
Available at 3 libraries
-
4
- Hiroakira Ono on substructural logics
-
Nikolaos Galatos, Kazushige Terui
Springer c2022 Outstanding contributions to logic v. 23
Available at 5 libraries
-
5
- Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
-
Ivo Düntsch, Edwin Mares, editors
Springer c2022 Outstanding contributions to logic v. 22
Available at 4 libraries
-
6
- Joachim Lambek : The Interplay of Mathematics, Logic, and Linguistics
-
Claudia Casadio, Philip J. Scott, Editors
Springer c2021 Outstanding contributions to logic v. 20
Available at 2 libraries
-
7
- Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic
-
Judit Madarász, Gergely Székely, Editors
Springer c2021 Outstanding contributions to logic v. 19
Available at 2 libraries
-
8
- Graham Priest on dialetheism and paraconsistency
-
Can Ba̦şkent, Thomas Macaulay Ferguson, Editors
Springer c2019 Outstanding contributions to logic v. 18
Available at 2 libraries
-
9
- Hilary Putnam on logic and mathematics
-
Geoffrey Hellman, Roy T. Cook, editors
Springer c2018 Outstanding contributions to logic v. 9
: hardcover
Available at 2 libraries
-
10
- Larisa Maksimova on implication, interpolation, and definability
-
Sergei Odintsov, editors
Springer c2018 Outstanding contributions to logic v. 15
Available at 3 libraries
-
11
- Jaakko Hintikka on knowledge and game-theoretical semantics
-
Hans van Ditmarsch, Gabriel Sandu, editors
Springer c2018 Outstanding contributions to logic v. 12
Available at 1 libraries
-
12
- Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
-
Janusz Czelakowski, editor
Springer c2018 Outstanding contributions to logic v. 16
Available at 3 libraries
-
13
- Raymond Smullyan on self reference
-
Melvin Fitting, Brian Rayman, editors
Springer c2017 Outstanding contributions to logic v. 14
Available at 2 libraries
-
14
- Feferman on foundations : logic, mathematics, philosophy
-
Gerhard Jäger, Wilfried Sieg, editors
Springer c2017 Outstanding contributions to logic v. 13
Available at 4 libraries
-
15
- Rohit Parikh on logic, language and society
-
Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam editors
Springer c2017 Outstanding contributions to logic v. 11
Available at 1 libraries
-
16
- Martin Davis on computability, computational logic, and mathematical foundations
-
Eugenio G. Omodeo, Alberto Policriti editors
Springer c2016 Outstanding contributions to logic 10
hbk.
Available at 3 libraries
-
17
- J. Michael Dunn on information based logics
-
edited by Katalin Bimbó
Springer c2016 Outstanding contributions to logic v. 8
Available at 1 libraries
-
18
- Dag Prawitz on proofs and meaning
-
editor, Heinrich Wansing
Springer c2015 Outstanding contributions to logic v. 7
: pbk
Available at 5 libraries
-
19
- Petr Hájek on mathematical fuzzy logic
-
Franco Montagna, editor
Springer c2015 Outstanding contributions to logic v. 6
Available at 4 libraries
-
20
- David Makinson on classical methods for non-classical problems
-
Sven Ove Hansson editor
Springer 2014 Outstanding contributions to logic 3
Available at 1 libraries