書誌事項
Trends in logic : studia logica library
Kluwer Academic Publishers, c1997-
この図書・雑誌をさがす
注記
Managing editor, Ryszard Wójcicki ; editors, Petr Hájek ... [et al.]
Publisher varies: Springer
-
1
- Inquisitive logic : consequence and inference in the realm of questions
-
Ivano Ciardelli
Springer c2022 Trends in logic : studia logica library v. 60
: [hbk]
所蔵館1館
-
2
- The logical writings of Karl Popper
-
David Binder, Thomas Piecha, Peter Schroeder-Heister, editors
Springer c2022 Trends in logic : studia logica library v. 58
: pbk
所蔵館1館
-
3
- Logics of variable inclusion
-
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
Springer c2022 Trends in logic : studia logica library v. 59
所蔵館1館
-
4
- Logic in high definition : trends in logical semantics
-
Alessandro Giordani, Jacek Malinowski, editors
Springer c2021 Trends in logic : studia logica library v. 56
: [pbk.]
所蔵館1館
-
5
- Logic and Implication : an introduction to the general algebraic study of non-classical logics
-
Petr Cintula, Carles Noguera
Trends in logic : studia logica library v.57
hbk.
所蔵館4館
-
6
- Logic in high definition : trends in logical semantics
-
Alessandro Giordani, Jacek Malinowski, editors
Springer c2021 Trends in logic : studia logica library v. 56
所蔵館1館
-
7
- Algebraic perspectives on substructural logics
-
Davide Fazio, Antonio Ledda, Francesco Paoli, editors
Springer c2021 Trends in logic : studia logica library v. 55
所蔵館4館
-
8
- Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
-
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors
Springer c2020 Trends in logic : studia logica library v. 53
所蔵館1館
-
9
- Foundations of the theory of parthood : a study of Mereology
-
Andrzej Pietruszczak
Springer 2020 Trends in logic : studia logica library v. 54
所蔵館1館
-
10
- Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
-
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors
Springer c2020 Trends in logic : studia logica library v. 53
: hardback
所蔵館3館
-
11
- Heyting algebras : duality theory
-
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton Evseev
Springer c2019 Trends in logic : studia logica library v. 50
所蔵館3館
-
12
- A model-theoretic approach to proof theory
-
Henryk Kotlarski, author ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
Springer c2019 Trends in logic : studia logica library v. 51
所蔵館4館
-
13
- Heyting algebras : duality theory
-
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton Evseev
Springer c2019 Trends in logic : studia logica library v. 50
hardcover
所蔵館3館
-
14
- Quantum computation and logic : how quantum computers have inspired logical investigations
-
Maria Luisa Dalla Chiara ... [et al.]
Springer c2018 Trends in logic : studia logica library v. 48
所蔵館1館
-
15
- Descriptor revision : belief change through direct choice
-
Sven Ove Hansson
Springer c2017 Trends in logic : studia logica library v. 46
所蔵館1館
-
16
- Toward predicate approaches to modality
-
Johannes Stern
Springer c2016 Trends in logic : studia logica library v. 44
所蔵館2館
-
17
- Logical studies of paraconsistent reasoning in science and mathematics
-
Holger Andreas, Peter Verdée, editors.
Springer c2016 Trends in logic : studia logica library v. 45
所蔵館3館
-
18
- Advances in proof-theoretic semantics
-
Thomas Piecha, Peter Schroeder-Heister, editors
Springer c2016 Trends in logic : studia logica library 43
所蔵館2館
-
19
- Logics and falsifications : a new perspective on constructivist semantics
-
Andreas Kapsner
Springer c2014 Trends in logic : studia logica library v. 40
所蔵館3館
-
20
- Advances in natural deduction : a celebration in Dag Prawitz's work
-
Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors
Springer c2014 Trends in logic : studia logica library v. 39
所蔵館4館
