著者
書誌事項
Studies in logic
series editor, Dov Gabbay
College Publications
- タイトル別名
-
Texts in logic
Studies in logic : mathematical logic and foundations
この図書・雑誌をさがす
注記
Description based on v. 2
Other title information, v. 8-: Mathematical logic and foundations. Cf. Ser. t.p. verso of v. 18
関連文献: 31件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- A Lambda calculus satellite
-
Henk Barendregt, Giulio Manzonetto
College Publications c2022 Studies in logic / series editor,
Dov Gabbay v. 94 . Mathematical logic and foundations : pbk.
所蔵館1館
-
2
- A Lambda calculus satellite
-
Henk Barendregt, Giulio Manzonetto
College Publications c2022 Studies in logic / series editor,
Dov Gabbay v. 94 . Mathematical logic and foundations 所蔵館1館
-
3
- Model theory for beginners : 15 lectures
-
Roman Kossak
College Publications c2021 Studies in logic / series editor,
Dov Gabbay v. 90 . Mathematical logic and foundations 所蔵館1館
-
4
- Essays on set theory
-
Akihiro Kanamori
College Publications c2021 Studies in logic / series editor,
Dov Gabbay v. 89 . Mathematical logic and foundations : pbk
所蔵館2館
-
5
- Logics of proofs and justifications
-
Roman Kuznets and Thomas Studer
College Publications c2019 Studies in logic / series editor,
Dov Gabbay v. 80 . Mathematical logic and foundations 所蔵館2館
-
6
- Measuring inconsistency in information
-
edited by John Grant and Maria Vanina Martinez
College Publications c2018 Studies in logic / series editor,
Dov Gabbay v. 73 : [pbk.]
所蔵館1館
-
7
- Abstract algebraic logic : an introductory textbook
-
Josep Maria Font
College Publications c2016 Studies in logic / series editor,
Dov Gabbay v. 60 . Mathematical logic and foundations 所蔵館4館
-
8
- Inconsistency robustness
-
edited by Carl Hewitt and John Woods ; assisted by Jane Spurr
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 52 : pbk
所蔵館1館
-
9
- Dualities for structures of applied logics
-
Ewa Orłowska, Anna Maria Radzikowska and Ingrid Rewitzky
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 56 : pbk.
所蔵館1館
-
10
- Proof theory of N4-related paraconsistent logics
-
Norihiko Kamide, Heinrich Wansing
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 54 : pbk
所蔵館2館
-
11
- Proof-thoretic semantics
-
Nissim Francez
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 57 所蔵館2館
-
12
- Philosophical applications of modal logic
-
Lloyd Humberstone
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 61 所蔵館2館
-
13
- Intuitionistic set theory
-
John L. Bell
College Publications c2014 Studies in logic / series editor,
Dov Gabbay v. 50 所蔵館1館
-
14
- Trends in belief revision and argumentation dynamics
-
edited by Eduardo L. Fermé, Dov M. Gabbay and Guillermo R. Simari
College Publications c2013 Studies in logic / series editor,
Dov Gabbay 48 , Logic and cognitive systems / series editors, D. Gabbay ... [et al.] : pbk
所蔵館1館
-
15
- Set theory
-
Kenneth Kunen
College Publications 2013, c2011 Rev. ed Studies in logic / series editor,
Dov Gabbay v. 34 所蔵館10館
-
16
- The lambda calculus, its syntax and semantics
-
Henk P. Barendregt
College Publications c2012 Studies in logic / series editor,
Dov Gabbay v. 40 所蔵館12館
-
17
- The foundations of mathematics
-
Kenneth Kunen
College Publications 2012 Rev. ed Studies in logic / series editor,
Dov Gabbay v. 19 . Mathematical logic and foundations 所蔵館12館
-
18
- Handbook of mathematical fuzzy logic
-
edited by Petr Cintula, Petr Hájek and Carles Noguera
College Publications c2011 Studies in logic / series editor,
Dov Gabbay v. 37-38 v. 1 : pbk , v. 2 : pbk
所蔵館2館
-
19
- Nonmonotonic reasoning : essays celebrating its 30th anniversary
-
edited by Gerhard Brewka, Victor W. Marek, and Miroslaw Truszczynski
College Publications c2011 Studies in logic / series editor,
Dov Gabbay v. 31 所蔵館1館
-
20
- Set theory
-
Kenneth Kunen
College Publications c2011 Studies in logic / series editor,
Dov Gabbay v. 34 所蔵館7館
- 1
- 2
- 1 / 2