著者
書誌事項
Studies in universal logic
Birkhäuser
この図書・雑誌をさがす
関連文献： 19件中 1-19を表示
-
1
- Universal algebraic logic : dedicated to the unity of science
-
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain
Birkhäuser , Springer c2022 Studies in universal logic
: pbk
所蔵館1館
-
2
- Universal algebraic logic : dedicated to the unity of science
-
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain
Birkhäuser , Springer 2022 Studies in universal logic
hbk.
所蔵館3館
-
3
- Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
-
Andrzej Indrzejczak
Birkhäuser c2021 Studies in universal logic
: pbk
所蔵館1館
-
4
- Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
-
Andrzej Indrzejczak
Birkhäuser , Springer c2021 Studies in universal logic
所蔵館7館
-
5
- Decidability of logical theories and their combination
-
João Rasga, Cristina Sernadas
Birkhäuser , Springer c2020 Studies in universal logic
所蔵館2館
-
6
- Language, logic, and mathematics in Schopenhauer
-
Jens Lemanski, editor
Birkhäuser , Springer c2020 Studies in universal logic
所蔵館4館
-
7
- Arabic logic from al-Fārābī to Averroes : a study of the early Arabic categorical, modal, and hypothetical syllogistics
-
Saloua Chatti
Birkhäuser , Springer c2019 Studies in universal logic
: [pbk.]
所蔵館1館
-
8
- The Lvov-Warsaw school, past and present
-
Ángel Garrido, Urszula Wybraniec-Skardowska, editors
Birkhäuser , Springer c2018 Studies in universal logic
所蔵館2館
-
9
- Modern logic 1850-1950, east and west
-
Francine F. Abeles, Mark E. Fuller, editors
Birkhäuser , Springer c2016 Studies in universal logic
: [pbk.]
所蔵館2館
-
10
- Towards an arithmetical logic : the arithmetical foundations of logic
-
Yvon Gauthier
Birkhäuser , Springer c2015 Studies in universal logic
: [pbk.]
所蔵館4館
-
11
- The road to universal logic : festschrift for the 50th birthday of Jean-Yves Beziau
-
Arnold Koslow, Arthur Buchsbaum, editors
Birkhäuser , Springer c2015 Studies in universal logic
v. 1 : [pbk.] , v. 2 : [pbk.]
所蔵館3館
-
12
- The life and work of Leon Henkin : essays on his contributions
-
María Manzano, Ildikó Sain, Enrique Alonso, editors
Birkhäuser , Springer c2014 Studies in universal logic
所蔵館2館
-
13
- Kripke's worlds : an introduction to modal logics via tableaux
-
Olivier Gasquet ... [et al.]
Birkhäuser , Springer c2014 Studies in universal logic
所蔵館9館
-
14
- Visual reasoning with diagrams
-
Amirouche Moktefi, Sun-Joo Shin, editors
Birkhäuser : Springer c2013 Studies in universal logic
: [pbk.]
所蔵館2館
-
15
- Towards a general theory of classifications
-
Daniel Parrochia・Pierre Neuville
Birkhäuser c2013 Studies in universal logic
所蔵館7館
-
16
- Around and beyond the square of opposition
-
Jean-Yves Béziau, Dale Jacquette, editors
Birkhäuser c2012 Studies in universal logic
所蔵館1館
-
17
- Universal logic : an anthology : from Paul Hertz to Dov Gabbay
-
Jean-Yves Béziau, editor
Birkhäuser c2012 Studies in universal logic
: pbk
所蔵館6館
-
18
- Institution-independent model theory
-
Răzvan Diaconescu
Birkhäuser c2008 Studies in universal logic
: pbk.
所蔵館9館
-
19
- Completeness theory for propositional logics
-
Witold A. Pogorzelski, Piotr Wojtylak
Birkhäuser c2008 Studies in universal logic
: pbk.
所蔵館6館