|
61.
|
Set theory and its logic
by Quine, William V. Edition: Revised ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Belknap Press, 1969Availability: Items available for loan: [Call number: 512.817 QUI] (1).
|
|
62.
|
Non-standard analysis
by Robinson, Abraham. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 1996Availability: Items available for loan: [Call number: 515.1 ROB] (1).
|
|
63.
|
Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
by Badesa, Calixto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 2004Availability: Items available for loan: [Call number: 511.8 BAD] (1).
|
|
64.
|
Classical and nonclassical logics : an introduction to the mathematics of propositions
by Schechter, Eric. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2005Availability: Items available for loan: [Call number: 160 SCH] (1).
|
|
65.
|
Classical mathematical logic: the semantic foundations of logic .
by Epstein, Richard L | Szczerba, Leslaw W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2006Availability: Items available for loan: [Call number: 511.3 EPS] (1).
|
|
66.
|
Proof, logic, and conjecture : the mathematician's toolbox
by Wolf, Robert S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman, 1997Availability: Items available for loan: [Call number: 511.3 WOL] (1).
|
|
67.
|
Hardware and computer organization : the software perspective
by Berger, Arnold S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Newnes, 2005Availability: Items available for loan: [Call number: 004.22 BER] (2).
|
|
68.
|
Logic, sets, and recursion (Supplement)
by Causey, Robert L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Jones & Bartlett, 2001Availability: Items available for loan: [Call number: 511.3 CAU] (2).
|
|
69.
|
Explorations in Computer Science
by Meyer, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Jones & Bartlett, 2006Availability: Items available for loan: [Call number: 004 MEY] (2).
|
|
70.
|
Essence of logic circuits
by Unger, Stephen H. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1997Availability: Items available for loan: [Call number: 621.395 UNG] (1).
|
|
71.
|
Nonlinear biomedical signal processing : fuzzy logic, neural networks, and new algorithms. Volume 1
by Akay, Metin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 2000Availability: Items available for loan: [Call number: 610.285632 AKA] (1).
|
|
72.
|
Nonlinear biomedical signal processing : dynamic analysis and modeling. Volume 2
by Akay, Metin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 2001Availability: Items available for loan: [Call number: 610.285632 AKA] (1).
|
|
73.
|
Logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
by Benthem, John Van. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Springer, 1991Availability: Items available for loan: [Call number: 115 BEN] (1).
|
|
74.
|
Logic Synthesis and Verification
by Hassoun, Soha | Brayton, Robert K | Sasao, Tsutomu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 621.395 HAS] (1).
|
|
75.
|
Low power design in deep submicron electronics
by Nebel, Wolfgang | Mermet, Jean P | Scientific Affairs Division, North Atlantic Treaty Organization. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Kluwer Academic Publishers, 1997Availability: Items available for loan: [Call number: 621.395 NEB] (1).
|
|
76.
|
Switching theory for logic synthesis.
by Sasao, Tsutomu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 1999Availability: Items available for loan: [Call number: 621.395 SAS] (1).
|
|
77.
|
Rapid prototyping of digital systems : a tutorial approach
by Hamblen, James O | Furman, Michael D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.395 HAM] (2).
|
|
78.
|
Logic Synthesis for Field-Programmable Gate Arrays
by Murgai, Rajeev | Brayton, Robert K | Sangiovanni-Vincentelli, Alberto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1995Availability: Items available for loan: [Call number: 621.395 MUR] (2).
|
|
79.
|
Synthesis of finite state machines : logic optimization
by Villa, Tiziano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 1997Availability: Items available for loan: [Call number: 621.395 VIL] (1).
|
|
80.
|
Logic for computer scientists
by Schoning, Uwe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 1989Availability: Items available for loan: [Call number: 511.3 SCH] (1).
|