|
1.
|
|
A friendly introduction to mathematical logic / Christopher C. Leary
by Leary, Christopher C, 1957-. Material type: Book; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Upper Saddle River, N.J. : Prentice Hall, c2002Accession number(s): 200204190083.Availability: Items available for loan: Main Campus [Call number: QA76.9 .L63 L427F] (1).
|
|
2.
|
|
A mathematical introduction to logic
by Enderton, Herbert B. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego, Calif. : Harcourt Academic Press, 2001Accession number(s): 270620010007.Availability: Items available for loan: Main Campus [Call number: QA9 E523M 2001] (1).
|
|
3.
|
|
A tour through mathematical ligic / Robert S. Wolf
by Wolf, Robert S. Material type: Book; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Washington, D.C., Wash. : Mathematical Association of America, c2005Accession number(s): 200503290018.Availability: Items available for loan: Main Campus [Call number: QA9 W643T] (1).
|
|
4.
|
|
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
by Feferman, Anita Burdman | Feferman, Solomon. Material type: Book; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Cambridge : Cambridge Univ. Press, 2004Accession number(s): 200501040064.Availability: Items available for loan: Main Campus [Call number: QA29 .T37 F433A] (1).
|
|
5.
|
|
An introduction to formal languages and automata
by Linz, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Lexington, Mass. : D.C. Heath, 1990Accession number(s): 108255, 50720004017.Availability: Items available for loan: Main Campus [Call number: QA267.3 L569I] (1).
|
|
6.
|
|
Fuzzy logic technology and applications
by Marks II, Robert J., ed. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, N.Y. : The Institute of Electrical and Electronics Engineers, 1994Accession number(s): 183422.Availability: Items available for loan: Main Campus [Call number: TJ213 M374F] (1).
|
|
7.
|
|
How to prove it : a structured approach / Daniel J. Velleman
by Velleman, Daniel J. Edition: 2nd ed.Material type: Book; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Cambridge : Cambridge Univ. Press, 2006Accession number(s): 200608100005.Availability: Items available for loan: Main Campus [Call number: QA9 V444H 2006] (1).
|
|
8.
|
|
|
|
9.
|
|
Introduction to digital logic design
by Hayes, John Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading, Mass. : Addison-Wesley Pub.Co., 1993Accession number(s): 154035.Availability: Items available for loan: Main Campus [Call number: TK7888.4 H39I] (1).
|
|
10.
|
|
|
|
11.
|
|
Logic of mathematics : a modern course of classical logic
by Adamowicz, Zofia | Zbierski, Pawel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, N.Y. : Wiley-Interscience, 1997Accession number(s): 216249.Availability: Items available for loan: Main Campus [Call number: QA9 A325L] (1).
|
|
12.
|
|
Logic, sets, and recursion
by Causey, Robert L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston, Mass. : Jones and Bartlett, 1994Accession number(s): 180019.Availability: Items available for loan: Main Campus [Call number: QA9 C387L] (1).
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
Optimization and computational logic
by McAloon, Ken | Tretkoff, Carol. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, N.Y. : Wiley, 1996Accession number(s): 198305.Availability: Items available for loan: Main Campus [Call number: T57.74 M322O] (1).
|
|
16.
|
|
|
|
17.
|
|
Sets and logic
by Hanna, Samuel C | Saber, John C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Homewood, Ill. : Irwin, 1971Accession number(s): 14886.Availability: Items available for loan: Main Campus [Call number: QA248 H366S] (1).
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
Wittgenstein's tractatus : an introduction / Alfred Nordmann
by Nordmann, Alfred. Material type: Book; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Cambridge : Cambridge Univ. Press, 2005Accession number(s): 200611230009.Availability: Items available for loan: Main Campus [Call number: B3376 .W563 N672W] (1).
|