著者
書誌事項
Outstanding contributions to logic
Springer
この図書・雑誌をさがす
関連文献： 35件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Petr Hájek on mathematical Fuzzy logic
-
Franco Montagna
Springer International Publishing [2015] Outstanding contributions to logic 6
所蔵館1館
-
2
- Janusz Czelakowski on logical consequence
-
Jacek Malinowski, Rafał Palczewski, editors
Springer [2024] Outstanding contributions to logic 27
: [pbk.]
所蔵館1館
-
3
- The philosophy of Penelope Maddy
-
Sophia Arbeiter, Juliette Kennedy, editors
Springer , [2024] , c2024 Outstanding contributions to logic volume 31
所蔵館1館
-
4
- Saul Kripke on modal logic
-
Yale Weiss, Romina Birman
Springer International Publishing 2024 Outstanding contributions to logic 30
所蔵館4館
-
5
- Dick de Jongh on Intuitionistic and Provability Logics
-
Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang
Springer International Publishing 2024 Outstanding contributions to logic 28
:hbk.
所蔵館2館
-
6
- Samson Abramsky on logic and structure in computer science and beyond
-
Alessandra Palmigiano, Mehrnoosh Sadrzadeh, editors
Springer c2023 Outstanding contributions to logic 25
Volume 2
所蔵館1館
-
7
- Samson Abramsky on logic and structure in computer science and beyond
-
Alessandra Palmigiano, Mehrnoosh Sadrzadeh, editors
Springer c2023 Outstanding contributions to logic 25
Volume 1
所蔵館1館
-
8
- 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
所蔵館3館
-
9
- 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館
-
10
- 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館
-
11
- Hiroakira Ono on substructural logics
-
Nikolaos Galatos, Kazushige Terui
Springer c2022 Outstanding contributions to logic v. 23
所蔵館5館
-
12
- 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館
-
13
- Joachim Lambek : The Interplay of Mathematics, Logic, and Linguistics
-
Claudia Casadio, Philip J. Scott, Editors
Springer c2021 Outstanding contributions to logic v. 20
所蔵館2館
-
14
- 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館
-
15
- Graham Priest on dialetheism and paraconsistency
-
Can Ba̦şkent, Thomas Macaulay Ferguson, Editors
Springer [2019] Outstanding contributions to logic v. 18
: [pbk.]
所蔵館1館
-
16
- Graham Priest on dialetheism and paraconsistency
-
Can Ba̦şkent, Thomas Macaulay Ferguson, Editors
Springer c2019 Outstanding contributions to logic v. 18
所蔵館2館
-
17
- Ewa Orłowska on Relational Methods in Logic and Computer Science
-
Joanna Golińska-Pilarek, Michał Zawidzki, editors
Springer Nature : Springer 2018 Outstanding contributions to logic 17
所蔵館1館
-
18
- Hilary Putnam on logic and mathematics
-
Geoffrey Hellman, Roy T. Cook, editors
Springer c2018 Outstanding contributions to logic v. 9
: hardcover
所蔵館4館
-
19
- Larisa Maksimova on implication, interpolation, and definability
-
Sergei Odintsov, editors
Springer c2018 Outstanding contributions to logic v. 15
所蔵館3館
-
20
- Jaakko Hintikka on knowledge and game-theoretical semantics
-
Hans van Ditmarsch, Gabriel Sandu, editors
Springer c2018 Outstanding contributions to logic v. 12
所蔵館1館
- 1
- 2
- 1 / 2
