著者
書誌事項
Outstanding contributions to logic
Springer
この図書・雑誌をさがす
関連文献： 27件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Saul Kripke on modal logic
-
Yale Weiss, Romina Birman
Springer International Publishing 2024 Outstanding contributions to logic 30
所蔵館2館
-
2
- Dick de Jongh on Intuitionistic and Provability Logics
-
Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang
Springer International Publishing 2024 Outstanding contributions to logic 28
:hbk.
所蔵館1館
-
3
- 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
所蔵館2館
-
4
- 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
所蔵館3館
-
5
- Arnon Avron on semantics and proof theory of non-classical logics
-
Ofer Arieli, Anna Zamansky, editors
Springer c2021 Outstanding contributions to logic v. 21
所蔵館3館
-
6
- Hiroakira Ono on substructural logics
-
Nikolaos Galatos, Kazushige Terui
Springer c2022 Outstanding contributions to logic v. 23
所蔵館5館
-
7
- 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
所蔵館4館
-
8
- Joachim Lambek : The Interplay of Mathematics, Logic, and Linguistics
-
Claudia Casadio, Philip J. Scott, Editors
Springer c2021 Outstanding contributions to logic v. 20
所蔵館2館
-
9
- 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
所蔵館2館
-
10
- Graham Priest on dialetheism and paraconsistency
-
Can Ba̦şkent, Thomas Macaulay Ferguson, Editors
Springer c2019 Outstanding contributions to logic v. 18
所蔵館2館
-
11
- Hilary Putnam on logic and mathematics
-
Geoffrey Hellman, Roy T. Cook, editors
Springer c2018 Outstanding contributions to logic v. 9
: hardcover
所蔵館2館
-
12
- Larisa Maksimova on implication, interpolation, and definability
-
Sergei Odintsov, editors
Springer c2018 Outstanding contributions to logic v. 15
所蔵館3館
-
13
- Jaakko Hintikka on knowledge and game-theoretical semantics
-
Hans van Ditmarsch, Gabriel Sandu, editors
Springer c2018 Outstanding contributions to logic v. 12
所蔵館1館
-
14
- Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
-
Janusz Czelakowski, editor
Springer c2018 Outstanding contributions to logic v. 16
所蔵館3館
-
15
- Raymond Smullyan on self reference
-
Melvin Fitting, Brian Rayman, editors
Springer c2017 Outstanding contributions to logic v. 14
所蔵館2館
-
16
- Feferman on foundations : logic, mathematics, philosophy
-
Gerhard Jäger, Wilfried Sieg, editors
Springer c2017 Outstanding contributions to logic v. 13
所蔵館4館
-
17
- Rohit Parikh on logic, language and society
-
Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam editors
Springer c2017 Outstanding contributions to logic v. 11
所蔵館1館
-
18
- Martin Davis on computability, computational logic, and mathematical foundations
-
Eugenio G. Omodeo, Alberto Policriti editors
Springer c2016 Outstanding contributions to logic 10
hbk.
所蔵館3館
-
19
- J. Michael Dunn on information based logics
-
edited by Katalin Bimbó
Springer c2016 Outstanding contributions to logic v. 8
所蔵館1館
-
20
- Dag Prawitz on proofs and meaning
-
editor, Heinrich Wansing
Springer c2015 Outstanding contributions to logic v. 7
: pbk
所蔵館5館
- 1
- 2
- 1 / 2
