Search

Your search returned 10 results.

Results
	1.		Discrete mathematics: mathematical reasoning and proof with puzzles patterns and games by Ensley, Douglas E \| Cradley, J. Winston. Publication details: U.S.A: John Wiley & Sons Ltd. 2006Availability: Items available for loan: Main (1)Call number: QA9.25 .E57 2006. Place hold Add to cart (remove)
	2.		How to read and do proofs: an introduction to mathematical thought process by Solow, Daniel. Publication details: New York: John Wiley & Sons, 1982Availability: Items available for loan: Main (1)Call number: QA9 .S577 1982. Place hold Add to cart (remove)
	3.		Introduction to mathematical structures and proofs by Gerstein, Larry J. Publication details: New York: Springer-Verlag, 1996Availability: Items available for loan: Main (1)Call number: QA9 .G358 1996. Place hold Add to cart (remove)
	4.		Transition to higher mathematics: structure and proof by Dumas, Bob A \| McCarthy, John E. Series: Walter Rudin Student Series in advanced mathematics Publication details: Boston: McGraw-Hill, 2007Availability: Items available for loan: Main (2)Call number: QA9 .D863 2007, ... Place hold Add to cart (remove)
	5.		Mathematical logic by Shoenfield, Joseph R. Series: Addison-Wesley series in logic Publication details: Reading, Massachusetts: Addison-Wesley, 1967Availability: Items available for loan: Main (1)Call number: QA9 .S52 1967. Place hold Add to cart (remove)
	6.		A mathematical introduction to logic by Enderton, Herbert B. Publication details: New York; London: Academic Press, 1972Availability: Items available for loan: Main (1)Call number: QA9 .E54 1972. Place hold Add to cart (remove)
	7.		Proceedings: 24th annual IEEE symposium on logic in computer science, Los Angeles, California 11-14 august 2009 Publication details: Los Alamitos The Institute of Electrical and Electronics Engineers 2009Availability: Items available for loan: Main (1)Call number: BDSC QA75.5 .A56x 2009 IEEE. Place hold Add to cart (remove)
	8.		The logical basis for computer programming: vol. II (deductive systems) by Zohar, Manna \| Waldinger, Richard. Series: Addison-Wesley Series in Computer Science Publication details: Massachusetts: Addison-Wesley, 1990Availability: Items available for loan: Main (1)Call number: QA76.6 .M35595 1985. Place hold Add to cart (remove)
	9.		Elements of the theory of computation by Lewis, Harry R \| Papadimitriou, Christos H. Series: Prentice-Hall Software Series Publication details: Englewood Cliffs, N.J.: Prentice-Hall, 1981Availability: Items available for loan: Main (1)Call number: QA267 .L49 1981. Place hold Add to cart (remove)
	10.		No cover image available Sets, logic and axiomatic theories by Stoll, Robert R. Publication details: U.S.A.: W.H. Freeman and Company, 1961Availability: Items available for loan: Main (1)Call number: QA248.3 .S78 1961. Place hold Add to cart (remove)

Bowen University Library is proudly powered by koha