IIITV Library catalog › Results of search for 'su:"Logic, Symbolic and mathematical"'

" /> /cgi-bin/koha/unapi" /> /cgi-bin/koha/opac-search.pl?q=ccl=su%253A%2522Logic%252C%2520Symbolic%2520and%2520mathematical%2522&count=50&sort_by=acqdate_dsc&format=rss2" />

Advanced search
Course reserves
Browse by hierarchy
Authority search
Recent comments
Tag cloud

Central Library, Indian Institute of Information Technology, Vadodara
Block No.9, Government Engineering College,
Sector-28, Gandhinagar, Gujarat - 382028 (India)
library@iiitvadodara.ac.in

	1.	Discrete mathematics and its applications With combinatorics and graph theory / by Kenneth H. Rosen by Rosen, Kenneth H \| Krithivasan, Kamala. Edition: 7thMaterial type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi McGraw Hill Education (India) pvt. Ltd. 2015Availability: Items available for loan: [Call number: 511 ROS] (15). Items available for reference: [Call number: 511 ROS] (1). Place hold Add to cart (remove)
	2.	Investigation of the laws of thought On which are founded the mathematical theories of logic and probabilities / by George Boole by Boole, George. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York Dover Publications 1958Availability: Items available for loan: [Call number: 160.11988 BOO] (2). Place hold Add to cart (remove)
	3.	Discrete mathematics Schaum's outline / By Seymour Lipschutz by Lipschutz, Seymour \| Lipson, Marc. Edition: 3rdMaterial type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi McGraw Hill Education (India) pvt. Ltd. 2013Availability: Items available for loan: [Call number: 512.02 LIP] (1). Place hold Add to cart (remove)
	4.	Logic and discrete mathematics A concise introduction / by Willem Conradie by Conradie, Willem \| Goranko, Valentin. Material type: Book; Format: print ; Literary form: Not fiction Publisher: U.K. John Wiley & Sons Ltd 2015Availability: Items available for loan: [Call number: 511.3 CON] (1). Place hold Add to cart (remove)
	5.	Real numbers An introduction to set theory and analysis / by John Stillwell by Stillwell, John. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Springer 2013Availability: Items available for loan: [Call number: 511.322 STI] (1). Place hold Add to cart (remove)
	6.	Discrete mathematics and its applications With combinatorics and graph theory / by Kenneth H. Rosen by Rosen, Kenneth H \| Krithivasan, Kamala. Edition: 6thMaterial type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi McGraw Hill Education (India) pvt. Ltd. 2007Availability: Items available for loan: [Call number: 511 ROS] (1). Place hold Add to cart (remove)
	7.	Logic for computer science Foundations of automatic theorem proving Gallier, Jean H. by Gallier, Jean H. Edition: 2ndMaterial type: Book; Format: print ; Literary form: Not fiction Publisher: New York Dover publication inc 1986Availability: Items available for loan: [Call number: 511.36028563 GAL] (1). Place hold Add to cart (remove)
	8.	Formal concept analysis Mathematical foundations / by Ganter, Bernhard by Ganter, Bernhard \| Wille, Rudolf. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York Springer 2009Availability: Items available for loan: [Call number: 511.33 GAN] (1). Place hold Add to cart (remove)
	9.	Logic for computer science \| Foundations of automatic theorem proving \| Jean H. Gallier by Gallier, Jean H. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York Dover publication inc 1986Availability: Items available for loan: [Call number: 511.36028563 GAL] (2). Place hold Add to cart (remove)
	10.	Logic for Computer Scientists by / Schöning, Uwe by Schöning, Uwe \| Schöning, Uwe. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Germany Modern Birkhäuser Classics 2008Availability: Items available for loan: [Call number: 511.3 SCH] (1). Place hold Add to cart (remove)

IIITV Library

Refine your search

Authors

Item types