Results of search for 'ccl=su:"Logic;"' › JRD Tata Memorial Library catalog

Results
	861.	Theorems of the 21st century Volume I By Bogdan Grechuk. by Grechuk, Bogdan, Material type: Book Publication details: Cham Springer 2019 Availability: Items available for loan: Centre for High Energy Physics (1)Call number: 510 GRE/T. Place hold
	862.	Quantum computation and quantum information By Michael A. Nielsen & Isaac L. Chuang by Nielsen, Michael A, Isaac L. Chuang Edition: 10th anniversary edition. Material type: Book Publication details: Cambridge Cambridge University Press 2010 Availability: Items available for loan: Centre for High Energy Physics (1)Call number: 004.1 NIE/Q. Place hold
	863.	Combinatorics and graph theory By John M. Harris, Jeffry L. Hirst, Michael J. Mossinghoff. by Harris, John M, Jeffry L. Hirst, Michael J. Mossinghoff Series: Undergraduate texts in mathematics ; Material type: Book Publication details: New York Springer 2000 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.6 HAR/C. Place hold
	864.	Gödel's proof, by Ernest Nagel and James R. Newman by Nagel, Ernest, Material type: Book Publication details: New York New York University Press 2001 Availability: Items available for loan: Electrical Engineering (1)Call number: 511.3 NAG/G. Place hold
	865.	An invitation to applied category theory seven sketches in compositionality by Brendan Fong and David I. Spivak by Fong, Brendan, Spivak, David I Material type: Book Publication details: Cambridge Cambridge University Press, 2019 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.62 BRE/A. Place hold
	866.	Logician and the Engineer by Paul J Nahin by Nahin, Paul J, Edition: 1st ed. Material type: Book Publication details: United Kingdom Princeton University Press 2012 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.922 PAU/L. Place hold
	867.	Godelian puzzle book puzzles, paradoxes and proofs by Raymond M. Smullyan by Smullyan, Raymond M, Material type: Book Publication details: Mineola, New York Dover Publications, INC 2013 Availability: Items available for loan: Computer Science and Automation (1)Call number: 793.74 SUM/G. Place hold
	868.	Proofs and refutations the logic of mathematical discovery by Imre Lakatos by Lakatos, Imre, Material type: Book Publication details: Cambridge Cambridge University Press 1976 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.3 LAK/P. Place hold
	869.	Discrete mathematics and its applications by Kenneth H. Rosen, Indian adaptation by Kamala Krithivasan by Rosen, Kenneth H, Krithivasan, Kamala Edition: 8th edition Material type: Book Publication details: Chennai McGraw Hill 2021 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511 ROS. Place hold
	870.	Quantum computation and quantum information by Michael A. Nielsen and Isaac L. Chuang by Nielsen, Michael A, Chuang, Isaac L Edition: 10th edition Material type: Book Publication details: New Delhi Cambridge University Press 2021 Availability: Items available for loan: Computational Data Scince (1)Call number: 004.1 NIE. Place hold
	871.	Quantum Computation and Quantum Information By Michael A. Nielsen & Isaac L. Chuang by Nielsen, Michael A, Edition: 10th anniversary edition Material type: Book Publication details: Cambridge Cambridge University Press 2020 Availability: Items available for loan: Computer Science and Automation (1)Call number: 004.1 NIE. Place hold
	872.	No cover image available Formula book of computer science by GK Publications, Material type: Book Publication details: Roorkee CL Media 2017 Availability: Items available for loan: Computational Data Scince (1)Call number: 004.03 GK. Place hold
	873.	Quantum computation and quantum information by Michael A. Nielsen and Isaac L. Chuang by Nielsen, Michael A, Edition: 10th anniversary edition Material type: Book Publication details: New Delhi Cambridge University Press 2020 Availability: Items available for loan: Computer Science and Automation (1)Call number: 004.1 NIE. Place hold
	874.	Introduction to reversible computing by Kalyan S. Perumalla by Perumalla, Kalyan S, Material type: Book Publication details: Boca Raton, Florida CRC Press, Taylor & Francis Group 2014 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 PER. Place hold
	875.	An invitation to applied category theory Seven sketches in compositionality by Brendan Fog and David I. Spivak by Fong, Brendan, Material type: Book Publication details: Cambridge, UK Cambridge University Press 2019 Availability: Items available for loan: Computer Science and Automation (1)Call number: 512.62 FOG. Place hold
	876.	Quantum computation and quantum information by Michael A, Nielsen and Isaac L. Chuang by Nielsen, Michael A, Material type: Book Publication details: U. K Cambridge University Press 2022 Availability: Items available for loan: Computer Science and Automation (1)Call number: 004.1 NIE. Place hold
	877.	Epistemic game theory reasoning and choice by Andres Perea by Perea, Andrés, Material type: Book Publication details: New York Cambridge University Press 2012 Availability: Items available for loan: Computer Science and Automation (1)Call number: 519.3 PER. Place hold
	878.	No cover image available Boolean functional synthesis using gated continuous logic networks by Ravi Raja; advised by Deepak D'Souza by Raja, Ravi, Material type: Book Publication details: Bengaluru IISc 2022 Dissertation note: MS; IISc; 2022 Online access: Click here to access online Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 600 RAV/B.
	879.	Electrical engineering Principles and applications by Allan R Hambley by Hambley, Allan R, Material type: Book Publication details: Upper Saddle River Pearson India Education Serviced Pvt. Ltd 2016 Availability: Items available for loan: UG Programme (4)Call number: 621.3 HAM, ... Not available: UG Programme: Checked out (1). Place hold
	880.	ISMVL 2001 proceedings. by International symposium on multiple valued logic (31 2001 Warsaw) Material type: Book Publication details: Los Alamitos IEEE 2001 Availability: No items available.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.