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

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh – Volume 2 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini. by Seising, Rudolf [editor.] Trillas, Enric [editor.] Moraga, Claudio [editor.] Termini, Settimo [editor.] SpringerLink (Online service) Series: Studies in Fuzziness and Soft Computing ; 299 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	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)
	7.	The Argument of Mathematics [electronic resource] / edited by Andrew Aberdein, Ian J Dove. by Aberdein, Andrew [editor.] Dove, Ian J [editor.] SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 30 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	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)
	9.	Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements [electronic resource] / by Lutz Geldsetzer, Richard L. Schwartz. by Geldsetzer, Lutz [author.] Schwartz, Richard L [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7734 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Cylindric-like Algebras and Algebraic Logic [electronic resource] / edited by Hajnal Andréka, Miklós Ferenczi, István Németi. by Andréka, Hajnal [editor.] Ferenczi, Miklós [editor.] Németi, István [editor.] SpringerLink (Online service) Series: Bolyai Society Mathematical Studies ; 22 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	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)
	13.	Rational Reconstructions of Modern Physics [electronic resource] / by Peter Mittelstaedt. by Mittelstaedt, Peter [author.] SpringerLink (Online service) Series: Fundamental Theories of Physics ; 174 Edition: 2nd ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	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)
	15.	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)
	16.	Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7794 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay. by Gabbay, Dov M [author.] SpringerLink (Online service) Series: Cognitive Technologies Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by Chatterjee, Krishnendu [editor.] Sgall, Jirí [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8087 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by Braberman, Víctor [editor.] Fribourg, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8053 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Languages

Your search returned 42 results.