Results of search for 'ccl=su:"Logic"' › Web-OPAC, IISER Bhopal catalog

Results
	21.	Stochastic Calculus with Infinitesimals [electronic resource] / by Frederik Herzberg. by Herzberg, Frederik [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 2067Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for reference: Central Library, IISER Bhopal: Not for loan (1)Call number: 511.3. Add to cart (remove)
	22.	Foundations of Analysis Joseph L. Taylor. by Taylor, Joseph L Series: Pure and applied undergraduate texts ; volume 18 \| The Sally series Publication details: American Mathematical Society; Universities Press (India) Pvt. Ltd., 2024 Availability: Items available for loan: Central Library, IISER Bhopal (2)Call number: 515.7 T215F, ... Add to cart (remove)
	23.	Mathematical logic for computer science by Mordechai Ben-Ari. by Ben-Ari, Mordechai, 1948- Edition: 3rd edition Publication details: London : Springer, 2001 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.131 B43M3. Add to cart (remove)
	24.	Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd edition Publication details: Delhi Cambridge University Press, 2016 Availability: Items available for loan: Central Library, IISER Bhopal (6)Call number: 004.0151 H971L, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 004.0151 H971L, ... Not available: Central Library, IISER Bhopal: Checked out (1). (1 votes) Add to cart (remove)
	25.	Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw. by Harel, David Kozen, Dexter Tiuryn, Jerzy Series: Foundations of computing Publication details: Cambridge: The MIT Press, 2000 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.015113 H222D. Add to cart (remove)
	26.	Introduction to formal logic Peter Smith. by Smith, Peter Publication details: New York : Cambridge University Press, 2013 Online resources: Publisher description Table of contents Contributor biographical information Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 160 Sm63I. Add to cart (remove)
	27.	Logic : a very short introduction Graham Priest. by Priest, Graham Edition: 2nd ed. Publication details: Oxford : Oxford University Press, 2017 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 160 P933L2. Add to cart (remove)
	28.	Introduction to logic Irving M. Copi, Carl Cohen, Kenneth McMahon. by Copi, Irving M Cohen, Carl McMahon, K. D Series: Pearson custom library Edition: Fourteenth edition. Publication details: New York: Routledge, 2017 Availability: Items available for loan: Central Library, IISER Bhopal (6)Call number: 160 C791I14, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 160 C791I14, ... Add to cart (remove)
	29.	Semiconductor spintronics and quantum computation D. D. Awschalom, D. Loss, N. Samarth (eds.). by Awschalom, D. D [Editor] Loss, D [Editor] Samarth, N [Editor] Series: Nanoscience and technology Publication details: New York : Springer, c2002 Online resources: Table of contents only Publisher description Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 620.115 Se52. Add to cart (remove)
	30.	Digital design : M. Morris Mano. With an introduction to the verilog HDL by Mano, M. Morris Ciletti, Michael D Edition: 5th ed. Publication details: Noida : Pearson India Education, 2017 Online resources: Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (8)Call number: 621.395 M317D5, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (5)Call number: 621.395 M317D5, ... Add to cart (remove)
	31.	Automata, logics, and infinite games Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Publication details: New York : Springer, 2002 Online resources: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004 G75A. Add to cart (remove)
	32.	Higher order Fourier analysis Terence Tao. by Tao, Terence Series: Graduate studies in mathematics ; volume 142 Edition: Indian Edition Publication details: Providence: American Mathematical Society, 2016 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 515.2433 T159H. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 515.2433 T159H. Add to cart (remove)
	33.	Mythologies / Roland Barthes ; translated from the French by Richard Howard [and] Annette Lavers. by Barthes, Roland Language: English Original language: French Publication details: New York : Hill and Wang, 2012 Online resources: Cover image Availability: No items available. Add to cart (remove)
	34.	Symbolic logic Irving M. Copi. by Copi, Irving M Edition: 5th ed. Publication details: Noida: Pearson India Education, 2019 Availability: Items available for loan: Central Library, IISER Bhopal (6)Call number: 160 C791S5, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 160 C791S5, ... Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	35.	Concise introduction to logic Patrick J. Hurley. by Hurley, Patrick J Watson, Lori Edition: 13th ed. Publication details: Delhi : Cengage Learning India Pvt. Ltd, 2019 Other title: Logic Online resources: Publisher description Table of contents only Contributor biographical information Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 160 H939C13. Add to cart (remove)
	36.	Languages of logic : an introduction to formal logic Samuel Guttenplan. by Guttenplan, Samuel D Edition: 2nd ed. Publication details: Oxford, UK : Blackwell Publishers, 2006 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 160 G98L2. Add to cart (remove)
	37.	Logical forms : an introduction to philosophical logic / Mark Sainsbury. by Sainsbury, R. M. (Richard Mark) Edition: 2nd ed. Publication details: Oxford, UK ; Malden, Mass. : Blackwell Publishers, 2001 Availability: No items available. Add to cart (remove)
	38.	A mathematical introduction to logic / Herbert B. Enderton. by Enderton, Herbert B Edition: 2nd ed. Publication details: San Diego : Harcourt/Academic Press, ©2001 Availability: No items available. Add to cart (remove)
	39.	Modern logic : a text in elementary symbolic logic / Graeme Forbes. by Forbes, Graeme Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Table of contents only Contributor biographical information Availability: No items available. Add to cart (remove)
	40.	From Zeno to arbitrage : essays on quantity, coherence, and induction by Brian Skyrms. by Skyrms, Brian Publication details: Oxford : Oxford University Press, 2012 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 121 Sk9F. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 52 results.