Your search returned 25 results.

Results
	21.	Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by Farmer, William M [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Supowit, Kenneth J [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	Fuzzy Logic [electronic resource] : Recent Applications and Developments / by Carter, Jenny [editor.] Chiclana, Francisco [editor.] Khuman, Arjab Singh [editor.] Chen, Tianhua [editor.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Cryptocoding Based on Quasigroups [electronic resource] / by Mechkaroska, Daniela [author.] Popovska-Mitrovikj, Aleksandra [author.] Bakeva, Verica [author.] SpringerLink (Online service) Series: SpringerBriefs in Information Security and Cryptography Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Set theory and the continuum problem by Smullyan, Raymond M Fitting, Melvin Series: Dover books on mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Mineola, N.Y. : Dover Publications, ©2010 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: 511.3 SMU-S. Place hold Add to cart (remove)

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