|
|
121.
|
Foundations of decision-making agents : logic, probability and modality
by Das, Subrata. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2008Availability: Items available for loan: [Call number: 006.33 DAS] (1).
|
|
|
122.
|
Diamond : a paradox logic
by Hellerstein, N. S. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific, 2010Availability: Items available for loan: [Call number: 511.3 HEL] (1).
|
|
|
123.
|
Language and Symbolic Power
by Bourdieu, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Polity Press, 1991Availability: Items available for loan: [Call number: 400 BOU] (1).
|
|
|
124.
|
Guide to classical and modern model theory
by Marcja, Annalisa | Toffalori, Carlo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers 2003Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
|
125.
|
Algebra and computer science : Contemporary Mathematics
by Kahrobaei, Delaram | Cavallo, Bren | Garber, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Rhode Island: American Mathematical Society, 2016Availability: Items available for loan: [Call number: 512.00285 KAH] (1).
|
|
|
126.
|
Neighborhood semantics for modal logic
by Pacuit, Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland Springer International Publishing 2017Availability: Items available for loan: [Call number: 160 PAC] (1).
|
|
|
127.
|
Modelling and verification of secure exams
by Giustolisi, Rosario. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 005.8 GIU] (1).
|
|
|
128.
|
Logics for computer science : classical and non-classical
by Wasilewska, Anita. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: Items available for loan: [Call number: 005.13 WAS] (1).
|
|
|
129.
|
One hundred prisoners and a light bulb
by Ditmarsch, Hans van | Kooi, Barteld [aut] | Elancheziyan [ill]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Availability: Items available for loan: [Call number: 793.74 DIT] (1).
|
|
|
130.
|
Model theory: an introduction
by Marker, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2010Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
|
131.
|
Nature of rationality
by Nozick, Robert. Publisher: Princeton : Princeton University Press, 1994Availability: Items available for loan: [Call number: 128.3 NOZ] (1).
|
|
|
132.
|
Way of the world : the Bildungsroman in European culture
by Moretti, Franco. Publisher: London : Verso books, 1987Availability: Items available for loan: [Call number: 809.39353 MOR] (1).
|
|
|
133.
|
Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma
by Copeland, B. Jack ed. Publisher: Oxford : Clarendon Press, 2013Availability: Items available for loan: [Call number: 510.92 COP] (1).
|
|
|
134.
|
Frege's philosophy of mathematics
by Demopoulos, William. Publisher: Cambridge : Harvard University Press, 1997Availability: Items available for loan: [Call number: 510.1 DEM] (1).
|
|
|
135.
|
Introduction to computation : Haskell, logic and automata
by Sannella, Donald | Fourman, Michael | Peng, Haoran | Wadler, Philip. Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).
|
|
|
136.
|
Symbolic logic
by Makridis, Odysseus. Publisher: Cham : Palgrave Macmillan, 2021Availability: Items available for loan: [Call number: 160 MAK] (1).
|
|
|
137.
|
Logic and structure
by Dalen, Dirk van. Edition: 5th ed. Publisher: London : Springer, 2004Availability: No items available Checked out (1).
|
|
|
138.
|
Bridging circuits and fields : foundational questions in power theory
by Petroianu, Alexander I. Publisher: Boca Raton : CRC Press, 2022Availability: Items available for loan: [Call number: 621.30151 PET] (1).
|
|
|
139.
|
A First Journey through Logic
by Hils, Martin | Loeser, Francois. Publisher: Providence : American Mathematical Society, 2023Availability: Items available for loan: [Call number: 511.3 HIL] (1).
|
|
|
140.
|
Higher-order logic and type theory
by Bell, John L. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 511.3 BEL] (1).
|
