Author(s)
Bibliographic Information
Studies in logic
series editor, Dov Gabbay
College Publications
- Other Title
-
Texts in logic
Studies in logic : mathematical logic and foundations
Search this Book/Journal
Note
Description based on v. 2
Other title information, v. 8-: Mathematical logic and foundations. Cf. Ser. t.p. verso of v. 18
Related Books： 1-20 of 31
- 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.
Available at 1 libraries
-
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 Available at 1 libraries
-
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 Available at 1 libraries
-
4
- Essays on set theory
-
Akihiro Kanamori
College Publications c2021 Studies in logic / series editor,
Dov Gabbay v. 89 . Mathematical logic and foundations : pbk
Available at 2 libraries
-
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 Available at 2 libraries
-
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.]
Available at 1 libraries
-
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 Available at 4 libraries
-
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
Available at 1 libraries
-
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.
Available at 1 libraries
-
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
Available at 2 libraries
-
11
- Proof-thoretic semantics
-
Nissim Francez
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 57 Available at 2 libraries
-
12
- Philosophical applications of modal logic
-
Lloyd Humberstone
College Publications c2015 Studies in logic / series editor,
Dov Gabbay v. 61 Available at 2 libraries
-
13
- Intuitionistic set theory
-
John L. Bell
College Publications c2014 Studies in logic / series editor,
Dov Gabbay v. 50 Available at 1 libraries
-
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
Available at 1 libraries
-
15
- Set theory
-
Kenneth Kunen
College Publications 2013, c2011 Rev. ed Studies in logic / series editor,
Dov Gabbay v. 34 Available at 10 libraries
-
16
- The lambda calculus, its syntax and semantics
-
Henk P. Barendregt
College Publications c2012 Studies in logic / series editor,
Dov Gabbay v. 40 Available at 12 libraries
-
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 Available at 13 libraries
-
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
Available at 2 libraries
-
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 Available at 1 libraries
-
20
- Set theory
-
Kenneth Kunen
College Publications c2011 Studies in logic / series editor,
Dov Gabbay v. 34 Available at 7 libraries
- 1
- 2
- 1 / 2
