Results of search for 'su:"logic"' › ISTA Library catalog

Results
		The cunning of uncertainty by Nowotny, Helga [VerfasserIn]. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge Polity Press 2016Availability: Items available for reference: Books at groups: Not for loan (1). Log in to add tags
		The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg. by Rosenberg, Arnold L [author.] \| SpringerLink (Online service). Series: UniversitextEdition: 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). Place hold Log in to add tags
		The q-theory of Finite Semigroups [electronic resource] / by John Rhodes, Benjamin Steinberg. by Rhodes, John [author.] \| Steinberg, Benjamin [author.] \| SpringerLink (Online service). Series: Springer Monographs in MathematicsSource: 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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Koppitz, J [author.] \| Denecke, K [author.] \| SpringerLink (Online service). Series: Advances in Mathematics ; 10Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		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). Series: International Mathematical Series ; 4Source: 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). Place hold Log in to add tags
		Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Moschovakis, Yiannis [author.] \| SpringerLink (Online service). Series: Undergraduate Texts in MathematicsEdition: 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). Place hold Log in to add tags
		A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Rautenberg, Wolfgang [author.] \| SpringerLink (Online service). Series: UniversitextEdition: 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). Place hold Log in to add tags
		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). Series: Undergraduate Texts in MathematicsEdition: 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). Place hold Log in to add tags
		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). Series: Problem Books in MathematicsSource: 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). Place hold Log in to add tags
		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). Series: UniversitextSource: 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). Place hold Log in to add tags
		New Approaches to Circle Packing in a Square [electronic resource] : With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García. by Szabó, P. G [author.] \| Markót, M. Cs [author.] \| Csendes, T [author.] \| Specht, E [author.] \| Casado, L. G [author.] \| García, I [author.] \| SpringerLink (Online service). Series: Springer Optimization and Its Applications ; 6Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		Introduction to Boolean Algebras [electronic resource] / by Paul Halmos, Steven Givant. by Halmos, Paul [author.] \| Givant, Steven [author.] \| SpringerLink (Online service). Series: Undergraduate Texts in MathematicsSource: 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). Place hold Log in to add tags
		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). Series: International Mathematical Series ; 5Source: 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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		A Missing Link in Cybernetics [electronic resource] : Logic and Continuity / by Alex M. Andrew. by Andrew, Alex M [author.] \| SpringerLink (Online service). Series: IFSR International Series on Systems Science and Engineering ; 26Source: 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). Place hold Log in to add tags
		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). Place hold Log in to add tags

		The cunning of uncertainty by Nowotny, Helga [VerfasserIn]. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge Polity Press 2016Availability: Items available for reference: Books at groups: Not for loan (1). Log in to add tags
		The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg. by Rosenberg, Arnold L [author.] \| SpringerLink (Online service). Series: UniversitextEdition: 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). Place hold Log in to add tags
		The q-theory of Finite Semigroups [electronic resource] / by John Rhodes, Benjamin Steinberg. by Rhodes, John [author.] \| Steinberg, Benjamin [author.] \| SpringerLink (Online service). Series: Springer Monographs in MathematicsSource: 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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Koppitz, J [author.] \| Denecke, K [author.] \| SpringerLink (Online service). Series: Advances in Mathematics ; 10Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		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). Series: International Mathematical Series ; 4Source: 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). Place hold Log in to add tags
		Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Moschovakis, Yiannis [author.] \| SpringerLink (Online service). Series: Undergraduate Texts in MathematicsEdition: 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). Place hold Log in to add tags
		A Concise Introduction to Mathematical Logic [electronic resource] / by Wolfgang Rautenberg. by Rautenberg, Wolfgang [author.] \| SpringerLink (Online service). Series: UniversitextEdition: 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). Place hold Log in to add tags
		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). Series: Undergraduate Texts in MathematicsEdition: 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). Place hold Log in to add tags
		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). Series: Problem Books in MathematicsSource: 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). Place hold Log in to add tags
		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). Series: UniversitextSource: 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). Place hold Log in to add tags
		New Approaches to Circle Packing in a Square [electronic resource] : With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García. by Szabó, P. G [author.] \| Markót, M. Cs [author.] \| Csendes, T [author.] \| Specht, E [author.] \| Casado, L. G [author.] \| García, I [author.] \| SpringerLink (Online service). Series: Springer Optimization and Its Applications ; 6Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Place hold Log in to add tags
		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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		Introduction to Boolean Algebras [electronic resource] / by Paul Halmos, Steven Givant. by Halmos, Paul [author.] \| Givant, Steven [author.] \| SpringerLink (Online service). Series: Undergraduate Texts in MathematicsSource: 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). Place hold Log in to add tags
		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). Series: International Mathematical Series ; 5Source: 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). Place hold Log in to add tags
		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). Place hold Log in to add tags
		A Missing Link in Cybernetics [electronic resource] : Logic and Continuity / by Alex M. Andrew. by Andrew, Alex M [author.] \| SpringerLink (Online service). Series: IFSR International Series on Systems Science and Engineering ; 26Source: 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). Place hold Log in to add tags
		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). Place hold Log in to add tags

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Places

Topics

Titles

Your search returned 2468 results.