|
21.
|
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).
|
|
22.
|
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).
|
|
23.
|
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).
|
|
24.
|
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).
|
|
25.
|
Tour through mathematical logic
by Wolf, Robert | Wolf, Robert S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: Mathematical Association of America, 2005Availability: No items available Checked out (1).
|
|
26.
|
Logic as algebra
by Halmos, Paul | Givant, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: Mathematical Association of America, 1998Availability: Items available for loan: [Call number: 511.3 HAL] (1).
|
|
27.
|
Mathematical logic
by Shoenfield, Joseph R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 1967Availability: No items available Checked out (1).
|
|
28.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
29.
|
Mathematics and common sense : a case of creative tension
by Davis, Philip J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wellesley: A K Peters, 2006Availability: Items available for loan: [Call number: 511.3 DAV] (1).
|
|
30.
|
Mathematical logic for computer science
by Ben-Ari, Mordechai. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.3 BEN] (2).
|
|
31.
|
Logic and complexity
by Lassaigne, Richard | Rougemont, Michel de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 511.3 LAS] (1).
|
|
32.
|
Formal concept analysis : mathematical foundations
by Ganter, Bernhard | Wille, Rudolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 511.33 GAN] (1).
|
|
33.
|
Elements of the Theory of Computation
by Lewis, Harry R | Papadimitriou, Christos H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004 LEW] (8).
|
|
34.
|
Mathematical logic in the twentieth century
by Sacks, Gerald E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Singapore University Press, 2003Availability: Items available for loan: [Call number: 511.3 SAC] (1).
|
|
35.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (8). Items available for reference: [Call number: 511 ROS] (2).
|
|
36.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for reference: [Call number: 511 ROS] (1).
|
|
37.
|
Recursive function theory and logic
by Yasuhara, Ann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
|
|
38.
|
Symbolic and Knowledge-Based Signal Processing
by Oppenheim, Alan V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1992Availability: Items available for loan: [Call number: 621.38220285 OPP] (1).
|
|
39.
|
Oxford handbook of philosophy of mathematics and logic
by Shapiro, Stewart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2005Availability: Items available for loan: [Call number: 510.1 SHA] (1).
|
|
40.
|
First course in logic : an introduction to model theory, proof theory, computability, and complexity
by Hedman, Shawn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2004Availability: No items available Checked out (1).
|