Koha online

21.
Classical mathematical logic: the semantic foundations of logic .

by Epstein, Richard L | Szczerba, Leslaw W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2006Availability: Items available for loan: [Call number: 511.3 EPS] (1).
Place hold
22.
Proof, logic, and conjecture : the mathematician's toolbox

by Wolf, Robert S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: W. H. Freeman, 1997Availability: Items available for loan: [Call number: 511.3 WOL] (1).
Place hold
23.
Logic, sets, and recursion (Supplement)

by Causey, Robert L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 2001Availability: Items available for loan: [Call number: 511.3 CAU] (2).
Place hold
24.
Logic for computer scientists

by Schoning, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 1989Availability: Items available for loan: [Call number: 511.3 SCH] (1).
Place hold
25.
Tour through mathematical logic

by Wolf, Robert | Wolf, Robert S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Washington: Mathematical Association of America, 2005Availability: Items available for loan: [Call number: 511.3 WOL] (1).
Place hold
26.
Logic as algebra

by Halmos, Paul | Givant, Steven.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Washington: Mathematical Association of America, 1998Availability: Items available for loan: [Call number: 511.3 HAL] (1).
Place hold
27.
Mathematical logic

by Shoenfield, Joseph R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Natick: A K Peters, 1967Availability: Items available for loan: [Call number: 511.3 SHO] (1).
Place hold
28.
Fundamentals of mathematical logic

by Hinman, Peter G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
Place hold
29.
Mathematics and common sense : a case of creative tension

by Davis, Philip J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wellesley: A K Peters, 2006Availability: Items available for loan: [Call number: 511.3 DAV] (1).
Place hold
30.
Mathematical logic for computer science

by Ben-Ari, Mordechai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.3 BEN] (2).
Place hold
31.
Logic and complexity

by Lassaigne, Richard | Rougemont, Michel de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 511.3 LAS] (1).
Place hold
32.
Formal concept analysis : mathematical foundations

by Ganter, Bernhard | Wille, Rudolf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 511.33 GAN] (1).
Place hold
33.
Elements of the Theory of Computation

by Lewis, Harry R | Papadimitriou, Christos H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004 LEW] (8).
Place hold
34.
Mathematical logic in the twentieth century

by Sacks, Gerald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: Singapore University Press, 2003Availability: Items available for loan: [Call number: 511.3 SAC] (1).
Place hold
35.
Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (7). Items available for reference: [Call number: 511 ROS] (3).
Place hold
36.
No cover image available
Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for loan: [Call number: 511 ROS] (1).
Place hold
37.
No cover image available
Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
Place hold
38.
Symbolic and Knowledge-Based Signal Processing

by Oppenheim, Alan V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood: Prentice Hall, 1992Availability: Items available for loan: [Call number: 621.38220285 OPP] (1).
Place hold
39.
Oxford handbook of philosophy of mathematics and logic

by Shapiro, Stewart.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Oxford University Press, 2005Availability: Items available for loan: [Call number: 510.1 SHA] (1).
Place hold
40.
First course in logic : an introduction to model theory, proof theory, computability, and complexity

by Hedman, Shawn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 2004Availability: No items available Checked out (1).
Place hold

Powered by Koha