141. 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).
142. Paradoxes and inconsistent mathematics

by Weber, Zach.

Publisher: Cambridge : Cambridge University Press, 2021Availability: Items available for loan: [Call number: 511.3 WEB] (1).
143. 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).
144. Language and the rise of the algorithm

by Binder, Jeffrey M.

Publisher: Chicago : University of Chicago Press, 2022Availability: Items available for loan: [Call number: 006.35 BIN] (1).
145. Handbook of Automata Theory : Volumes I (Theoretical Foundations) and II (Automata in Mathematics and Selected Applications)

by Pin, Jean-Éric [ed.].

Publisher: Germany : EMS Press, 2021Availability: Items available for loan: [Call number: 510 PIN] (2).
146. Introduction to mathematics : number, space, and structure

by Taylor, Scott A.

Publisher: Providence : American Mathematical Society, 2023Availability: No items available Checked out (1).
147. 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).

Powered by Koha