Your search returned 14 results.

Not what you expected? Check for suggestions
Sort
Results
Logic for mathematics and computer science / Stanley N. Burris. by
  • Burris, Stanley
Material type: Text Text
Publication details: Upper Saddle River, N.J. : Prentice Hall, c1998
Availability: Items available for loan: Central Library (1)Call number: 511.3 BUR.

Schaum’s outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by
  • Lipson, Marc
Series: Schaum's outline series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata McGraw-Hill Pub. Co., 2004 2004
Other title:
  • Theory and problems of discrete mathematics
  • Discrete mathematics
Availability: Items available for loan: Central Library (2)Call number: 512.02LIP, ...

A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman. by
  • Hedman, Shawn
Series: Oxford texts in logic ; 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford ; New York : Oxford University Press, 2004
Availability: Items available for loan: Central Library (1)Call number: 160 HED.

Symbolic and knowledge-based signal processing / editors, Alan V. Oppenheim and S. Hamid Nawab. by
  • Oppenheim, Alan V.[ed
  • Nawab, Syed Hamid
Series: Prentice-Hall signal processing series
Material type: Text Text
Publication details: Englewood Cliffs, N.J. : Prentice Hall, c1992
Availability: Items available for loan: Central Library (1)Call number: 621.38220285OPP.

Schaum’s outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by
  • Lipschutz, Seymour
  • Lipson, Marc Lars
Series: Schaum's outline series
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : McGraw- Hill, 2007. c2007
Other title:
  • Theory and problems of discrete mathematics
  • Discrete mathematics
Availability: Items available for loan: Central Library (1)Call number: 512.02LIP. Items available for reference: Central Library: Not for loan (1)Call number: 512.02LIP. Not available: Central Library: Checked out (1).

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg. by
  • Gregg, John
Series: IEEE Press understanding science & technology series
Material type: Text Text
Publication details: New Delhi : IEEE Press,2000 2000
Availability: Items available for loan: Central Library (1)Call number: 511.324GRE.

Computability and Logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. by
  • Boolos, George
  • Burgess, John P, 1948-
  • Jeffrey, Richard C
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, c2002
Availability: Items available for loan: Central Library (1)Call number: 511.3 BOO.

The StrangeLogic of Random Graphs / Joel Spencer. by
  • Spencer, Joel H
Series: Algorithms and combinatorics ; 22
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2001
Availability: Items available for loan: Central Library (1)Call number: 511.5 SPE.

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by
  • Lewis, Harry R
  • Papadimitriou, Christos H
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Upper Saddle River, United States : Prentice-Hall, c.1998
Availability: Items available for loan: Central Library (3)Call number: 511.3 LEW, ...

Discrete mathematics and its applications / Kenneth H. Rosen, Monmouth University and formerly AT&T laboratories ; adapted by Kamala Krithivasan, Indian Institute of Technology Madras, Chennai, India. by
  • Rosen, Kenneth H [author.]
  • Krithivasan, Kamala [adapter.]
Edition: Seventh edition.Global edition.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: New York, NY : McGraw-Hill, [2013]Copyright date: c 2013
Availability: Items available for loan: Central Library (1)Call number: 511 ROS.
  (1 votes)
Chapter zero : fundamental notions of abstract mathematics / Carol Schumacher. by
  • Schumacher, Carol
Series: Addison-Wesley higher mathematics
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: Reading, Mass. : Addison-Wesley Pub. Co., c.1996
Availability: Items available for loan: Central Library (1)Call number: 511.3 SCH.

Tractatus logico-philosophicus / by Ludwig Wittgenstein. by
  • Wittgenstein, Ludwig,‏, 1889-1951 [author.]
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: [Middletown, Delaware] : [publisher not identified], [2019?]
Availability: Items available for loan: Central Library (1)Call number: 192 WIT.

Modern formal logic / Thomas J. McKay, Syracuse University. by
  • McKay, Thomas J [author.]
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: New York : London : Macmillan Publishing Company ; Collier Macmillan Publishers, [1989]Copyright date: c1989
Availability: Items available for loan: Central Library (1)Call number: 160 MCK.

Introduction to mathematical structures and proofs / Larry J. Gerstein, University of California, Santa Barbara. by
  • Gerstein, Larry J [author.]
Series: Textbooks in mathematical sciences
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: New York : Springer : Jones and Bartlett Publishers, [1996]Copyright date: c1996
Availability: Items available for loan: Central Library (1)Call number: 511.3 GER.

Pages