Results of search for 'su:"Logic, Symbolic and mathematical"'

Results
	1.	No cover image available Mathematical logic for computer science / Mordechai Ben-Ari. by Ben-Ari, Mordechai Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India Springer 2001 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: Text & Reference Section (Student cannot borrow these books) 511.3 BEN-M. Add to cart (remove)
	2.	Abstract sets and finite ordinals : an introduction to the study of set theory / G.B. Keene by Keene, G.B Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: New York Dover Publications 2007 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.322 KEE-G. Add to cart (remove)
	3.	Mathematical logic : a first course / Joel W. Robbin by Robbin, Joel W Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: New York Dover Publications 2006 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 ROB-J. Add to cart (remove)
	4.	Elements of mathematical logic / Paul C. Rosenbloom by Rosenbloom, Paul C Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: New York Dover Publications 2005 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 ROS-P. Add to cart (remove)
	5.	Set theory and logic / Robert R. Stoll by Stoll, Robert R Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: New York Dover Publications 1963 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 STO-R. Add to cart (remove)
	6.	Discrete structures, logic, and computability / James L. Hein by Hein, James L Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India Jones & Bartlett Publishers 2010 Availability: Items available for loan: BITS Pilani Hyderabad (2)Location, call number: General Stack (For lending) 005.015113 HEI-J, ... Add to cart (remove)
	7.	Introduction to mathematical logic Michal Walicki by Walicki, Michal Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India World Scientific 2012 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 WAL-M. Add to cart (remove)
	8.	Symbolic logic / Irving M. Copi by Copi, Irving M Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India PHI Learning 1979 Availability: Items available for loan: BITS Pilani Hyderabad (10)Location, call number: Text & Reference Section (Student cannot borrow these books) 511.3 COP-I, ... Add to cart (remove)
	9.	Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski by Kowalski, Robert Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India Cambraidge University Press 2011 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 KOW-R. Add to cart (remove)
	10.	Logic, sets and recursion / Robert L. Causey by Causey, Robert L Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India Jones and Bartlett 2010 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 CAU-R. Add to cart (remove)
	11.	Understanding mathematical proof / John Taylor, Rowan Garnier. by Taylor, John, 1957- Garnier, Rowan Material type: Text; Format: print ; Literary form: Not fiction Publication details: US CRC Press 2014 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.36 TAY-J. Add to cart (remove)
	12.	Temporal logics in computer science : finite-state systems / Stephane Demri, Valentin Goranko and Martin Lange by Demri, Stephane Goranko, Valentin Lange, Martin Material type: Text; Literary form: Not fiction Publication details: Cambridge Cambridge University Press 2016 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 004 DEM-S. Add to cart (remove)
	13.	Beyond infinity : an expedition to the outer limits of mathematics / Eugenia Cheng by Cheng, Eugenia Material type: Text; Literary form: Not fiction Publication details: London Profile Books 2017 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 CHE-E. Add to cart (remove)
	14.	A concise introduction to pure mathematics / Martin Liebeck by Liebeck, Martin Edition: 4th ed. Material type: Text; Literary form: Not fiction Publication details: New York CRC Press 2016 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 510 LIE-M. Add to cart (remove)
	15.	Games, puzzles and computation / Robert A. Hearn and Erik D. Demaine by Hearn, Robert A Demaine, Erik D Material type: Text; Literary form: Not fiction Publication details: United Kingdom A. K. Peters 2009 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 510 HEA-R. Add to cart (remove)
	16.	Model theory and the philosophy of mathematical practice : formalization without foundationalism / John T. Baldwin by Baldwin, John T Material type: Text; Literary form: Not fiction Publication details: United Kingdom Cambridge University Press 2018 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.34 BAL-J. Add to cart (remove)
	17.	Methods of solving number theory problems / Ellina Grigorieva by Grigorieva, Ellina Material type: Text; Literary form: Not fiction Publication details: Switzerland Springer International Publishing 2010 Availability: Not available: BITS Pilani Hyderabad: Checked out (1). Add to cart (remove)
	18.	Practical MATLAB modeling with simulink: programming and simulating ordinary and partial differential equations / Sulaymon L, Eshkabilov by Eshkabilov, Sylaymon L Material type: Text; Literary form: Not fiction Publication details: India Apress Media 2021 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 005.13 ESH-S. Add to cart (remove)
	19.	Introduction to scilab: for engineers and scientists / Sandeep Nagar by Nagar, Sandeep Material type: Text; Literary form: Not fiction Publication details: India Apress 2018 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 004 NAG-S. Add to cart (remove)
	20.	A mathematical introduction to logic / Herbert B. Enderton by Enderton, Herbert B Edition: 2nd ed. Material type: Text; Literary form: Not fiction Publication details: California Academic Press 2001 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 END-H. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Topics

Your search returned 25 results.