|
341.
|
Contemporary logic design
by Katz, Randy H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: Benjamin/Cummings Publishing, 1994Availability: Items available for loan: [Call number: 621.395 KAT] (1).
|
|
342.
|
Introduction to the theories of measurement and meaningfulness and the use of symmetry in science
by Narens, Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mahwah: Lawrence Erlbaum Associates, 2007Availability: Items available for loan: [Call number: 530.801 NAR] (1).
|
|
343.
|
Proofs and Fundamentals
by Bloch, Ethan D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2000Availability: Items available for loan: [Call number: 511.3 BLO] (1).
|
|
344.
|
Foundations of logic and mathematics: Applications to computer science and cryptography
by Nievergelt, Yves. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2002Availability: Items available for loan: [Call number: 511.3 NIE] (1).
|
|
345.
|
Set theory: An introduction
by Vaught, Robert L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 1994Availability: Items available for loan: [Call number: 511.322 VAU] (1).
|
|
346.
|
Thinking in problems : how mathematicians find creative solutions
by Roytvarf, Alexander A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Birkhauser, 2013Availability: Items available for loan: [Call number: 510.1 ROY] (1).
|
|
347.
|
Decision diagram techniques for micro- and nanoelectronic design handbook
by Yanushkevich, Svetlana N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2006Availability: Items available for loan: [Call number: 621.381 YAN] (1).
|
|
348.
|
Mastermind : how to think like Sherlock Holmes
by Konnikova, Maria. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Canongate, 2013Availability: Items available for loan: [Call number: 153.4 KON] (1).
|
|
349.
|
Post-Modernism or the Cultural Logic of Late Capatalism
by Jameson, Fredric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Verso Books, 1991Availability: Items available for loan: [Call number: 809.91 JAM] (1).
|
|
350.
|
Critique of judgment
by Kant, Immanuel | Pluhar, Werner S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Indianapolis: Hackett Pub. Co., 1987Availability: Items available for loan: [Call number: 121 KAN] (1).
|
|
351.
|
Haskell road to logic, maths and programming
by Doets, Kees | Eijck, J. van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: King's College Publishing, 2004Availability: Items available for loan: [Call number: 005.115 DOE] (1).
|
|
352.
|
Appalachian set theory : 2006-2012
by Cummings, James | Schimmerling, Ernest. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.3 CUM] (1).
|
|
353.
|
Modal logic for philosophers
by Garson, James W. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 160 GAR] (1).
|
|
354.
|
Computer organization
by Hamacher, V. Carl | Vranesic, Zvonko | Zaky, Safwat. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2011Availability: Items available for loan: [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; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: McGraw-Hill Education, 2013Availability: Items available for loan: [Call number: 621.395 BRO] (1).
|
|
356.
|
Metamathematics of fuzzy logic
by Hajek, Petr. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 1988Availability: Items available for loan: [Call number: 511.3 HAJ] (1).
|
|
357.
|
Dynamic epistemic logic
by Ditmarsch, Hans van | Hoek, Wiebe van der | Kooi, Barteld. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Netherlands: Springer, 2007Availability: Items available for loan: [Call number: 121 DIT] (1).
|
|
358.
|
Formal ontology and conceptual realism
by Cocchiarella, Nino B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 111 COC] (1).
|
|
359.
|
Analysis and synthesis of logics : how to cut and paste reasoning systems
by Carnielli, Walter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2008Availability: Items available for loan: [Call number: 511.3 CAR] (1).
|
|
360.
|
Dynamic epistemic logic
by Ditmarsch, Hans van | Hoek, Wiebe van der | Kooi, Barteld Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 121 DIT] (1).
|