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

Results
	1.	Introduction to Bisimulation and Coinduction / Davide Sangiorgi. by Sangiorgi, Davide [author.] Material type: Text; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Introduction to Bisimulation & Coinduction Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	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)
	3.	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)
	4.	Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by O’Regan, Gerard [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Logic and Structure [electronic resource] / by Dirk van Dalen. by Dalen, Dirk van [author.] SpringerLink (Online service) Series: Universitext Edition: 5th ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	L.E.J. Brouwer – Topologist, Intuitionist, Philosopher [electronic resource] : How Mathematics Is Rooted in Life / by Dirk van Dalen. by Dalen, Dirk van [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham. by Cunningham, Daniel W [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava. by Srivastava, Shashi Mohan [author.] SpringerLink (Online service) Series: Universitext Edition: 2nd ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	An Invitation to Abstract Mathematics [electronic resource] / by Béla Bajnok. by Bajnok, Béla [author.] SpringerLink (Online service) Series: Undergraduate Texts in Mathematics Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	The Mathematics of Paul Erdős II [electronic resource] / edited by Ronald L. Graham, Jaroslav Nešetřil, Steve Butler. by Graham, Ronald L [editor.] Nešetřil, Jaroslav [editor.] Butler, Steve [editor.] SpringerLink (Online service) Edition: 2nd ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by Moller, Faron [author.] Struth, Georg [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Proofs of the Cantor-Bernstein Theorem [electronic resource] : A Mathematical Excursion / by Arie Hinkis. by Hinkis, Arie [author.] SpringerLink (Online service) Series: Science Networks. Historical Studies ; 45 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Visual Reasoning with Diagrams [electronic resource] / edited by Amirouche Moktefi, Sun-Joo Shin. by Moktefi, Amirouche [editor.] Shin, Sun-Joo [editor.] SpringerLink (Online service) Series: Studies in Universal Logic Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Towards a General Theory of Classifications [electronic resource] / by Daniel Parrochia, Pierre Neuville. by Parrochia, Daniel [author.] Neuville, Pierre [author.] SpringerLink (Online service) Series: Studies in Universal Logic Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction / by Pavel Pudlák. by Pudlák, Pavel [author.] SpringerLink (Online service) Series: Springer Monographs in Mathematics Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift / edited by Peter Paule. by Paule, Peter [editor.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	The Mathematics of Coordinated Inference [electronic resource] : A Study of Generalized Hat Problems / by Christopher S. Hardin, Alan D. Taylor. by Hardin, Christopher S [author.] Taylor, Alan D [author.] SpringerLink (Online service) Series: Developments in Mathematics ; 33 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	The Real Numbers [electronic resource] : An Introduction to Set Theory and Analysis / by John Stillwell. by Stillwell, John [author.] SpringerLink (Online service) Series: Undergraduate Texts in Mathematics Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Concise Computer Mathematics [electronic resource] : Tutorials on Theory and Problems / by Ovidiu Bagdasar. by Bagdasar, Ovidiu [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Mayr, Ernst W [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8136 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 55 results.