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

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7810 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.	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by Martí-Oliet, Narciso [editor.] Palomino, Miguel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7841 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)
	7.	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)
	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.	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)
	10.	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)
	11.	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)
	12.	The Language of Mathematics [electronic resource] : A Linguistic and Philosophical Investigation / by Mohan Ganesalingam. by Ganesalingam, Mohan [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7805 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)
	13.	Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya. by Lodaya, Kamal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7750 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)
	14.	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)
	15.	From Linear Operators to Computational Biology [electronic resource] : Essays in Memory of Jacob T. Schwartz / edited by Martin Davis, Edmond Schonberg. by Davis, Martin [editor.] Schonberg, Edmond [editor.] 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)
	16.	Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] Nederhof, Mark-Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8036 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.	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 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)
	19.	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)
	20.	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] Roy, Olivier [editor.] Huang, Huaxin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8196 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)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Languages

Your search returned 44 results.