Koha online

341.
Contemporary logic design

by Katz, Randy H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: California: Benjamin/Cummings Publishing, 1994Availability: Items available for loan: [Call number: 621.395 KAT] (1).
Place hold
342.
Introduction to the theories of measurement and meaningfulness and the use of symmetry in science

by Narens, Louis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mahwah: Lawrence Erlbaum Associates, 2007Availability: Items available for loan: [Call number: 530.801 NAR] (1).
Place hold
343.
Proofs and Fundamentals

by Bloch, Ethan D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2000Availability: Items available for loan: [Call number: 511.3 BLO] (1).
Place hold
344.
Foundations of logic and mathematics: Applications to computer science and cryptography

by Nievergelt, Yves.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
Place hold
345.
Set theory: An introduction

by Vaught, Robert L.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 1994Availability: Items available for loan: [Call number: 511.322 VAU] (1).
Place hold
346.
Thinking in problems : how mathematicians find creative solutions

by Roytvarf, Alexander A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Birkhauser, 2013Availability: Items available for loan: [Call number: 510.1 ROY] (1).
Place hold
347.
Decision diagram techniques for micro- and nanoelectronic design handbook

by Yanushkevich, Svetlana N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2006Availability: Items available for loan: [Call number: 621.381 YAN] (1).
Place hold
348.
Mastermind : how to think like Sherlock Holmes

by Konnikova, Maria.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Canongate, 2013Availability: Items available for loan: [Call number: 153.4 KON] (1).
Place hold
349.
Post-Modernism or the Cultural Logic of Late Capatalism

by Jameson, Fredric.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Verso Books, 1991Availability: Items available for loan: [Call number: 809.91 JAM] (1).
Place hold
350.
Critique of judgment

by Kant, Immanuel | Pluhar, Werner S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis: Hackett Pub. Co., 1987Availability: No items available Checked out (1).
Place hold
351.
Haskell road to logic, maths and programming

by Doets, Kees | Eijck, J. van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: King's College Publishing, 2004Availability: Items available for loan: [Call number: 005.115 DOE] (1).
Place hold
352.
Appalachian set theory : 2006-2012

by Cummings, James | Schimmerling, Ernest.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.3 CUM] (1).
Place hold
353.
Modal logic for philosophers

by Garson, James W.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 160 GAR] (1).
Place hold
354.
No cover image available
Computer organization

by Hamacher, V. Carl | Vranesic, Zvonko | Zaky, Safwat.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2011Availability: Items available for reference: [Call number: 004.22 HAM] (1).
355.
Fundamentals of digital logic with VHDL design

by Brown, Stephen D | Vranesic, Zvonko.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: McGraw-Hill Education, 2013Availability: Items available for loan: [Call number: 621.395 BRO] (1).
Place hold
356.
Metamathematics of fuzzy logic

by Hajek, Petr.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 1988Availability: Items available for loan: [Call number: 511.3 HAJ] (1).
Place hold
357.
Dynamic epistemic logic

by Ditmarsch, Hans van | Hoek, Wiebe van der | Kooi, Barteld.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Netherlands: Springer, 2007Availability: No items available Checked out (1).
Place hold
358.
Formal ontology and conceptual realism

by Cocchiarella, Nino B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 111 COC] (1).
Place hold
359.
Analysis and synthesis of logics : how to cut and paste reasoning systems

by Carnielli, Walter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2008Availability: Items available for loan: [Call number: 511.3 CAR] (1).
Place hold
360.
Dynamic epistemic logic

by Ditmarsch, Hans van | Hoek, Wiebe van der | Kooi, Barteld Pieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 121 DIT] (1).
Place hold

Powered by Koha