|
|
101.
|
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).
|
|
|
102.
|
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).
|
|
|
103.
|
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).
|
|
|
104.
|
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).
|
|
|
105.
|
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).
|
|
|
106.
|
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).
|
|
|
107.
|
Frege's philosophy of mathematics
by Demopoulos, William. Publisher: Cambridge : Harvard University Press, 1997Availability: Items available for loan: [Call number: 510.1 DEM] (1).
|
|
|
108.
|
Symbolic logic
by Makridis, Odysseus. Publisher: Cham : Palgrave Macmillan, 2021Availability: Items available for loan: [Call number: 160 MAK] (1).
|
|
|
109.
|
Logic and structure
by Dalen, Dirk van. Edition: 5th ed. Publisher: London : Springer, 2004Availability: No items available Checked out (1).
|
|
|
110.
|
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).
|
|
|
111.
|
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).
|
|
|
112.
|
Mathematical logic through Python
by Gonczarowski, Yannai A | Nisan, Noam. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.131 GON] (1).
|
|
|
113.
|
Paradoxes and inconsistent mathematics
by Weber, Zach. Publisher: Cambridge : Cambridge University Press, 2021Availability: Items available for loan: [Call number: 511.3 WEB] (1).
|
|
|
114.
|
Joy of abstraction : an exploration of math, category theory, and life
by Cheng, Eugenia. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 510 CHE] (1).
|
|
|
115.
|
Introduction to mathematics : number, space, and structure
by Taylor, Scott A. Publisher: Providence : American Mathematical Society, 2023Availability: No items available Checked out (1).
|
|
|
116.
|
Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning
by Coecke, Bob | Kissinger, Aleks. Publisher: Cambridge : Cambridge University Press, 2017Availability: Items available for loan: [Call number: 530.145 COE] (1).
|
