Your search returned 9 results.

Sort
Results
Discrete mathematics and its applications / Kenneth H. Rosen. by
  • Rosen, Kenneth H
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : McGraw-Hill Higher Education, c2007
Availability: Items available for loan: University Library (1)Call number: QA39.3 R67 2007.

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by
  • Lewis, Harry R
  • Papadimitriou, Christos H [joint author.]
Series: Prentice-Hall software series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1981
Availability: Items available for loan: University Library (1)Call number: QA267 L49 1981.

The logical basis for computer programming / Zohar Manna, Richard Waldinger. by
  • Manna, Zohar
  • Waldinger, Richard
Series: Addison-Wesley series in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley, c1985-c1990
Availability: Items available for loan: College of Science and Mathematics (1)Call number: QA76.6 .M35595 1985.

Solutions to selected exercises in the logic book / Merrie Bergmann...(et. al.) by
  • Bergmann, Merrie
  • Moor, James
  • Nelson, Jack
Material type: Text Text
Language: English
Publication details: New York : McGraw-Hill , c1998
Availability: Items available for loan: College of Humanities and Social Sciences (3)Call number: in process | CHSS-gd2450, ...

Predicate logic : the semantic foundations of logic. / Richard L. Epstein. by
  • Epstein, Richard L, 1947-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Belmont, CA : Wadsworth Thomson Learning, c2001
Other title:
  • Semantic foundations of logic
Availability: Items available for loan: College of Humanities and Social Sciences (1)Call number: BC181 E67 2001.

Tractatus logico-philosophicus by
  • Wittgenstein, Ludwig
Material type: Text Text; Format: print ; Literary form:
Language: English
Publication details: London : Routledge , c1994
Availability: Not available: College of Humanities and Social Sciences: In transit (1).

Symbolic-numeric computation / Dongming Wang, Lihong Zhi, editors. by
  • Wang, Dongming
  • Zhi, Lihong
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Birkhauser Verlag AG Basel Boston Berlin, c2007
Online access:
Availability: Items available for loan: College of Science and Mathematics (1)Call number: QA9.59 S96 2007.

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Crawley. by
  • Ensley, Douglas E
  • Crawley, J. Winston
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Hoboken, NJ : Wiley, c2006
Availability: Items available for loan: College of Science and Mathematics (1)Call number: QA9.25 E57 2006.

Foundations of computing : system development with set theory and logic / Thierry Scheurer. by
  • Scheurer, Thierry
Series: International computer science series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
Availability: Items available for loan: College of Science and Mathematics (1)Call number: QA76.9 S88 S29 1994.

Pages
 
University of the Philippines Mindanao
The University Library, UP Mindanao, Mintal, Tugbok District, Davao City, Philippines
Email: library.upmindanao@up.edu.ph
Contact: (082)295-7025
Copyright @ 2022 | All Rights Reserved