IST Austria Library catalog › Results of search for 'su:"Mathematical Logic and Foundations."'

	1.	The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg. by Rosenberg, Arnold L [author.] \| SpringerLink (Online service). Edition: First.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	2.	Essays in Constructive Mathematics [electronic resource] / by Harold M. Edwards. by Edwards, Harold M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	3.	18 Unconventional Essays on the Nature of Mathematics [electronic resource] / edited by Reuben Hersh. by Hersh, Reuben [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	4.	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M [editor.] \| Goncharov, Sergei S [editor.] \| Zakharyaschev, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	5.	Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Moschovakis, Yiannis [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	6.	A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Rautenberg, Wolfgang [author.] \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	7.	Ideals, Varieties, and Algorithms [electronic resource] : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, Donal O’Shea. by Cox, David [author.] \| Little, John [author.] \| O’Shea, Donal [author.] \| SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	8.	Problems and Theorems in Classical Set Theory [electronic resource] / by Péter Komjáth, Vilmos Totik. by Komjáth, Péter [author.] \| Totik, Vilmos [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	9.	Techniques of Constructive Analysis [electronic resource] / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Bridges, Douglas S [author.] \| Vîţă, Luminiţa Simona [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	10.	The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz. by Krantz, Steven G [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	11.	Additive Number Theory [electronic resource] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky. by Chudnovsky, David [editor.] \| Chudnovsky, Gregory [editor.] \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	12.	Introduction to Boolean Algebras [electronic resource] / by Paul Halmos, Steven Givant. by Halmos, Paul [author.] \| Givant, Steven [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	13.	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Gabbay, Dov M [editor.] \| Zakharyaschev, Michael [editor.] \| Goncharov, Sergei S [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	14.	The Mathematical Coloring Book [electronic resource] : Mathematics of Coloring and the Colorful Life of its Creators / by Alexander Soifer. by Soifer, Alexander [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	15.	A Missing Link in Cybernetics [electronic resource] : Logic and Continuity / by Alex M. Andrew. by Andrew, Alex M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	16.	The Colorado Mathematical Olympiad and Further Explorations [electronic resource] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer. by Soifer, Alexander [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	17.	A Course on Mathematical Logic [electronic resource] / by S. M. Srivastava. by Srivastava, S. M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	18.	Generalized Measure Theory [electronic resource] / by Zhenyuan Wang, George J. Klir. by Wang, Zhenyuan [author.] \| Klir, George J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	19.	Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by Evgueni D. Solojentsev. by Solojentsev, Evgueni D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	20.	Combinatorics and Graph Theory [electronic resource] / by John Harris, Jeffry L. Hirst, Michael Mossinghoff. by Harris, John [author.] \| Hirst, Jeffry L [author.] \| Mossinghoff, Michael [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags

IST Austria Library

Refine your search

Availability

Series

Item types

Topics

Authors

Home libraries

Collections