Your search returned 54 results.

Results
	41.	Reverse mathematics : proofs from the inside out by Stillwell, John Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : Princeton University Press, 2018 Availability: Items available for loan: IIITD (1)Call number: 511.3 STI-R. Place hold Add to cart (remove)
	42.	The digital and the real world : computational foundations of mathematics, science, technology, and philosophy by Mainzer, Klaus Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : World Scientific, ©2018 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	43.	Think again : how to reason and argue by Armstron, Walter Sinnott Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Penguin, ©2018 Availability: Items available for loan: IIITD (8)Call number: 168 ARM-T, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 168 ARM-T. Not available: IIITD: Checked out (1). (1 votes) Place hold Add to cart (remove)
	44.	An introduction to Ramsey theory : fast functions, infinity, and metamathematics by Katz, Matthew Reimann, Jan Series: Student mathematical library ; vol. 87 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Providence, Rhode island : American Mathematical Society, ©2018 Availability: Items available for loan: IIITD (1)Call number: REF 511.66 KAT-I. Place hold Add to cart (remove)
	45.	Set theory by Jech, Thomas J Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2002 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	46.	Writing proofs in analysis by Kane, Jonathan Michael Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.36 KAN-W. Add to cart (remove)
	47.	Topology by Chambers, W Material type: Text; Format: print ; Literary form: Not fiction Publication details: United Kindom : ED Tech Press, ©2018 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	48.	Digital design : with an introduction to the verilog HDL, VHDL and system verilog by Mano, M. Morris Ciletti, Michael D Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Noida : Pearson, ©2018 Availability: Items available for loan: IIITD (17)Call number: 621.395 MAN-D, ... Items available for reference: IIITD: Not for loan (2)Call number: 621.395 MAN-D, ... (1 votes) Place hold Add to cart (remove)
	49.	A first journey through logic by Hils, Martin Loeser, Fancois Series: Student methemetical library ; vol.89 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Rhode Island : American Mathematical Society, ©2019 Availability: Items available for loan: IIITD (1)Call number: REF 511.3 HIL-F. Place hold Add to cart (remove)
	50.	Turing computability by Soare, Robert Irving Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chicago : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T. Add to cart (remove)
	51.	A structuralist theory of logic by Koslow, Arnold Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©1992 Availability: Items available for loan: IIITD (1)Call number: REF 160 KOS-S. Place hold Add to cart (remove)
	52.	Digital design and computer architecture by Harris, Sarah L Harris, David Money Edition: ARM® ed. Material type: Text; Format: print available online ; Literary form: Not fiction Publication details: New York : Morgan Kaufmann, ©2016 Online access: View this book online, via VLeBooks, both on- and off-campus Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.39 HAR-D. Add to cart (remove)
	53.	Digital design and computer architecture : RISC-V edition by Harris, Sarah L Harris, David Edition: RISC-V ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Morgan Kaufmann, ©2022 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 HAR-D. Add to cart (remove)
	54.	ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies by Mehta, Ashok B Material type: Text; Format: available online ; Literary form: Not fiction Publication details: California : Springer, ©2018 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.381 MEH-A. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in