Results of search for 'ccl=su:{Logic.} and itype:BK and location:REF' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Digital design by Mano, M. Morris Ciletti, Michael D Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson, ©2007 Availability: Items available for loan: IIITD (16)Call number: 621.395 MAN-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 MAN-D. Place hold Add to cart (remove)
	2.	Logic in computer science : modelling and reasoning about systems by Huth, Michael Ryan, Mark Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2004 Availability: Items available for loan: IIITD (2)Call number: 005.101 HUT-L, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.101 HUT-L. Place hold Add to cart (remove)
	3.	Mathematical logic by Ebbinghaus, Heinz-Dieter Flum, Jorg Thomas, Wolfgang Series: Undergraduate texts in mathematics Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: New York : Springer, ©1996 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 511.3 EBB-M. Place hold Add to cart (remove)
	4.	Schaum's outline of the theory and problems of discrete mathematics by Lipschutz, Seymour Lipson, Marc Series: Schaum's outline series Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw-Hill Education, ©1997 Other title: Discrete mathematics Availability: Items available for loan: IIITD (7)Call number: 511 LIP-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511 LIP-D. Place hold Add to cart (remove)
	5.	Discrete mathematics and its applications by Rosen, Kenneth H Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw Hill, ©2007 Online access: Table of contents Availability: Items available for loan: IIITD (13)Call number: 511 ROS-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511 ROS-D. Place hold Add to cart (remove)
	6.	Mathematical logic for computer science by Ben-Ari, M Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2003, c2001 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 511.3 BEN-M. Place hold Add to cart (remove)
	7.	Logic for applications by Nerode, Anil, 1932- Shore, Richard A, 1946- Series: Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Online access: Publisher description Table of contents only Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	8.	Fundamentals of digital logic design with VHDL by Brown, Stephen Vranesic, Zvonko Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: Tata McGraw Hill, ©2009 Availability: Items available for loan: IIITD (8)Call number: 621.395 BRO-F, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 BRO-F. Not available: IIITD: Withdrawn (1). Place hold Add to cart (remove)
	9.	Digital logic design principles by Balabanian, Norman Carlson, Bradley Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Wiley, ©2002 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (2)Call number: 621.39 BAL-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 BAL-D. Place hold Add to cart (remove)
	10.	Verilog HDL synthesis : a practical primer by Bhasker, J Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: BSP, ©2008 Availability: Items available for loan: IIITD (4)Call number: 621.392 BHA-V, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.392 BHA-V. Place hold Add to cart (remove)
	11.	Quantum computation and quantum information by Nielsen, Michael A Chuang, Isaac L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2009 Availability: Items available for loan: IIITD (1)Call number: 004.1 NIE-Q. Items available for reference: IIITD: Not for loan (1)Call number: REF 004.1 NIE-Q. Not available: IIITD: Checked out (2). Place hold Add to cart (remove)
	12.	The essence of logic by Kelly, John J Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, ©1996 Availability: Items available for loan: IIITD (3)Call number: 511.3 KEL-E, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 KEL-E. Place hold Add to cart (remove)
	13.	The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions by Davis, Martin Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1965 Availability: Items available for loan: IIITD (1)Call number: REF 512.8 DAV-U. Place hold Add to cart (remove)
	14.	Digital logic and computer organization by Rajaraman, V Radhakrishnan, T Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: PHI, c2006 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	15.	Digital circuits and logic design by Lee, Samuel C Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi. : PHI, ©1976 Availability: Items available for loan: IIITD (2)Call number: 621.3819 LEE-D, ... Place hold Add to cart (remove)
	16.	CMOS logic circuit design by Uyemura, John P Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Springer, ©1999 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (4)Call number: 621.397 UYE-C, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.397 UYE-C. Place hold Add to cart (remove)
	17.	A mathematical introduction to logic by Enderton, Herbert B Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Diego : Harcourt/Academic Press, ©2001 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (2)Call number: 511.3 END-M, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 END-M. Not available: IIITD: Checked out (2). Place hold Add to cart (remove)
	18.	Logic for computer scientists by Schoning, Uwe, 1955- Series: Progress in computer science and applied logic ; v. 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Boston : Birkhauser, 1989 Availability: Items available for loan: IIITD (1)Call number: REF 511.3 SCH-L. Place hold Add to cart (remove)
	19.	Set theory and logic by Stoll, Robert Roth Series: Dover books on advanced mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1963 Availability: Items available for loan: IIITD (1)Call number: REF 511.322 STO-S. Place hold Add to cart (remove)
	20.	Infinity and the mind : the science and philosophy of the infinite by Rucker, Rudy v. B Series: Princeton science library Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton, N.J. : Princeton University Press, ©2005 Online access: Publisher description Table of contents only Contributor biographical information Availability: Items available for loan: IIITD (1)Call number: REF 511.3 RUC-I. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 54 results.