Results of search for 'su:{Logic, Symbolic and mathematical.}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	1.	Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. by Di Prisco, C. A Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1985 Availability: Items available for loan: Central Library, SUST (6)Call number: 511.3 MET, ... Place hold Add to cart (remove)
	2.	Schaum's solved problems series 2000 solved problems in discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour Lipson, Marc Series: Schaum's outline series Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : McGraw-Hill, c1997 Other title: Theory and problems of discrete mathematics Discrete mathematics Availability: Items available for loan: Central Library, SUST (4)Call number: 512.02 LIS, ... Place hold Add to cart (remove)
	3.	The theory of functions / by E. C. Titchmarsh. by Titchmarsh, E. C. (Edward Charles), 1899- Edition: 2d ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: [London] Oxford university press, 1939 Availability: Items available for loan: Central Library, SUST (1)Call number: 517.5 TIT. Place hold Add to cart (remove)
	4.	Notes on logic and set theory / P.T. Johnstone. by Johnstone, P. T Series: Cambridge mathematical textbooks Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (1)Call number: 511.3 JON. Place hold Add to cart (remove)
	5.	Introduction to mathematical proofs [electronic resource] : a transition / Charles E. Roberts, Jr. by Roberts, Charles E, 1942- Series: Material type: Text; Literary form: Not fiction Publication details: Boca Raton : CRC Press, 2009 Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	6.	Logical labyrinths [electronic resource] / Raymond M. Smullyan. by Smullyan, Raymond M Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Wellesley, Mass. : A.K. Peters, c2009 Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	7.	Roads to infinity [electronic resource] : the mathematics of truth and proof / John Stillwell. by Stillwell, John Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Natick, Mass. : A.K. Peters, c2010 Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	8.	Games, puzzles, and computation [electronic resource] / Robert A. Hearn, Erik D. Demaine. by Hearn, Robert A Demaine, Erik D, 1981- Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Wellesley, Mass. : A.K. Peters, Ltd., c2009 Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	9.	Logic, sets, and recursion / Robert L. Causey. by Causey, Robert L Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Sudbury, Mass. : Jones and Bartlett Publishers, c2006 Availability: Items available for loan: Central Library, SUST (2)Call number: 511.3 CAL, ... Place hold Add to cart (remove)
	10.	Peeling potatoes or grinding lenses [electronic resource] : Spinoza and young Wittgenstein converse on immanence and its logic / Aristides Baltas. by Baltas, Aristeidēs Project Muse Series: UPCC book collections on Project MUSE Material type: Text; Literary form: Not fiction Publication details: Pittsburgh, Pa. : University of Pittsburgh Press, c2012. 2015) Online access: Full text available: Availability: No items available. Add to cart (remove)
	11.	An Introduction to Gödel's Theorems / Peter Smith. by Smith, Peter [author.] Series: Cambridge Introductions to Philosophy \| Cambridge Introductions to Philosophy Edition: 2nd ed. Material type: Text; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	New essays on Tarski and philosophy [electronic resource] / edited by Douglas Patterson. by Patterson, Douglas Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Oxford University Press, 2008 Online access: Oxford scholarship online Availability: No items available. Add to cart (remove)
	13.	Truth through proof [electronic resource] : a formalist foundation for mathematics / Alan Weir. by Weir, Alan Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Oxford University Press, 2010 Online access: Oxford scholarship online Availability: No items available. Add to cart (remove)
	14.	Propositions, functions, and analysis [electronic resource] : selected essays on Russell's philosophy / Peter Hylton. by Hylton, Peter Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Clarendon Press, 2010 Online access: Oxford scholarship online Availability: No items available. Add to cart (remove)
	15.	After G�odel [electronic resource] : Platonism and rationalism in mathematics and logic / by Richard Tieszen. by Tieszen, Richard L Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Oxford University Press, 2011 Online access: Oxford scholarship online Availability: No items available. Add to cart (remove)
	16.	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by Lewis, Harry R Papadimitriou, Christos H Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River, N.J. : Prentice-Hall, c1998 Availability: Items available for loan: Central Library, SUST (8)Call number: 511.3 LEE, ... Place hold Add to cart (remove)
	17.	Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, J�er�ome Lang, Shier Ju (eds.). by LORI (Workshop) (3rd : 2011 : Guangzhou, China) Ditmarsch, Hans van, 1959- [editor of compilation.] Lang, J�er�ome [editor of compilation.] Ju, Shier [editor of compilation.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 6953 \| LNCS sublibrary. SL 7, Artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Publication details: Verlag Berlin. : Springer. 2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ... Place hold Add to cart (remove)
	18.	No cover image available No cover image available Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) Beklemishev, Lev D [Queiroz, Ruy de queiroz] Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin. : Springer. 2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ... Place hold Add to cart (remove)
	19.	No cover image available No cover image available The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. by Manna, Zohar Pnueli, Amir, 1941-2009 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1992 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ... Place hold Add to cart (remove)
	20.	Mathematical logic for computer science / Mordechai Ben-Ari. by Ben-Ari, M, 1948- Edition: Third edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 BEM, ... Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 25 results.