Your search returned 53 results.

Results
	1.	Handbook of mathematical induction : theory and applications / David S. Gunderson by Gunderson, David S Series: CRC Press series on discrete mathematics and its applications Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton, FL : CRC Press, c2011 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.54 .G86 2011. Place hold Place recall Add to cart (remove)
	2.	Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S. W. Schröder. by Schroder, Bernd S. W Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken : Wiley, c2010 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA248 .S37 2010. Place hold Place recall Add to cart (remove)
	3.	Logic design theory / Nripendra N. Biswas. by Biswas, Nripendra Nath [author] Material type: Text; Format: print Publisher: Englewood Cliffs, NJ : Prentice-Hall, 1993 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7888.4 .B57 1993. Place hold Place recall Add to cart (remove)
	4.	An introduction to fuzzy logic applications / John Harris. by Harris, John [author] Series: Material type: Text; Format: print Publisher: Boston : Kluwer Academic, 2000 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TJ217.5 .H37 2000. Place hold Place recall Add to cart (remove)
	5.	Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S. W. Schröder. by Schroder, Bernd S. W Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken : Wiley, c2010 Availability: No items available. Place recall Add to cart (remove)
	6.	Discrete structures with contemporary applications / Alexander Stanoyevitch by Stanoyevitch, Alexander Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton, FL : CRC Press, 2011 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.9.M35 .S73 2011. Place hold Place recall Add to cart (remove)
	7.	An introduction to practical formal methods using temporal logic / Michael Fisher. by Fisher, Michael Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chichester, West Sussex : Wiley, 2011 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267.5.T45 .F57 2011. Place hold Place recall Add to cart (remove)
	8.	Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa / edited by Damian Niwiński. by Niwiński, Damian Material type: Text; Format: print ; Literary form: Not fiction Publisher: Washington DC : IOS Press, 2010 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.2 .U52 2010. Place hold Place recall Add to cart (remove)
	9.	Transition to higher mathematics : structure and proof / Bob A. Dumas, John E. McCarthy. by Dumas, Bob A [author] McCarthy, John E Series: Material type: Text; Format: print ; Literary form: Not fiction Publisher: Boston : McGraw-Hill, 2007 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .D85 2007. Place hold Place recall Add to cart (remove)
	10.	Introduction to mathematical logic / Michał Walicki. by Walicki, Michał [author] Material type: Text; Format: print ; Literary form: Not fiction Publisher: London : World Scientific, 2012 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .W34 2012. Place hold Place recall Add to cart (remove)
	11.	Proofs and algorithms : an introduction to logic and computability / Gilles Dowek. by Dowek, Gilles [author] Series: Material type: Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2011 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .D68 2011. Place hold Place recall Add to cart (remove)
	12.	A science of operations : machines, logic and the invention of programming / Mark Priestley. by Priestley, Mark [author] Series: Material type: Text; Format: print ; Literary form: Not fiction Publisher: London : Springer, 2010 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.6 .P74 2010. Place hold Place recall Add to cart (remove)
	13.	Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour [author] Lipson, Marc Series: Edition: 2nd ed. Material type: Text; Format: print Publisher: New York : McGraw-Hill, 1997 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA162 .L56 1997. Place hold Place recall Add to cart (remove)
	14.	How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. by Solow, Daniel [author] Edition: 3rd ed. Material type: Text; Format: print Publisher: New York : John Wiley, 2002 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (2)Call number: QA9.54 .S64 2002, ... Place hold Place recall Add to cart (remove)
	15.	Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers. by Rodgers, Nancy [author] Material type: Text; Format: print Publisher: New York : John Wiley, 2000 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .R62 2000. Place hold Place recall Add to cart (remove)
	16.	Automata, logics, and infinite games / edited by Erich Gradel, Wolfgang Thomas and Thomas Wilke. by Gradel, Erich Thomas, Wolfgang Wilke, Thomas Series: Material type: Text; Format: print Publisher: Berlin : Springer, 2002 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.9.M35 .A97 2002. Place hold Place recall Add to cart (remove)
	17.	Reflections on the foundations of mathematics : essays in honor of Solomon Feferman / edited by Wilfried Seig, Richard Sommer and Carolyn Talcott. by Sieg, Wilfried Sommer, Richard Talcott, Carolyn Series: Material type: Text; Format: print Publisher: Natick, MA : Association for symbolic logic, 2002 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9.A1 .R43 2002. Place hold Place recall Add to cart (remove)
	18.	Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott [author] Edition: 4th ed. Material type: Text; Format: print Publisher: New York : Chapman and Hall, 1997 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .M46 1997. Place hold Place recall Add to cart (remove)
	19.	Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz. by Lipschutz, Seymour [author] Material type: Text; Format: print Publisher: New York : McGraw Hill, 1976 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA162 .L56 1976. Place hold Place recall Add to cart (remove)
	20.	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. by Godel, Kurt [author] Material type: Text; Format: print Publisher: Princeton, NJ : Princeton University Press, 1968 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA9 .G62 1968. Place hold Place recall Add to cart (remove)

1
2
3
Next
Last

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 53 results.