Your search returned 81 results.

Results
		Ideal Spaces [electronic resource] / by Martin Väth. by Väth, Martin [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1664 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Axiom of Choice [electronic resource] / by Horst Herrlich. by Herrlich, Horst [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1876 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Proof Theory and Intuitionistic Systems [electronic resource] / by Bruno Scarpellini. by Scarpellini, Bruno [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 212 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1971 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [electronic resource] / edited by A. S. Troelstra. by Troelstra, A. S [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 344 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Around Classification Theory of Models [electronic resource] / by Saharon Shelah. by Shelah, Saharon [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1182 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Infinitary Logic: In Memoriam Carol Karp [electronic resource] : A Collection of Papers by Various Authors / edited by David W. Kueker. by Kueker, David W [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 492 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975 Other title: A Collection of Papers by Varoius Authors Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Stochastic Calculus with Infinitesimals [electronic resource] / by Frederik Herzberg. by Herzberg, Frederik [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 2067 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)
		Model Theory and Arithmetic [electronic resource] : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80 / edited by Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre. by Berline, Chantal [editor.] McAloon, Kenneth [editor.] Ressayre, Jean-Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 890 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Fractals and Hyperspaces [electronic resource] / by Keith R. Wicks. by Wicks, Keith R [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1492 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Proof Theory [electronic resource] : An Introduction / by Wolfram Pohlers. by Pohlers, Wolfram [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1407 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman. by Richman, Fred [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 873 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource] / by Pandelis Dodos. by Dodos, Pandelis [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1993 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Nearly Projective Boolean Algebras [electronic resource] : With an Appendix by Sakaé Fuchino / by Lutz Heindorf, Sakaé Fuchino, Leonid B. Shapiro. by Heindorf, Lutz [author.] Fuchino, Sakaé [author.] Shapiro, Leonid B [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1596 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Probabilistic Group Theory, Combinatorics, and Computing [electronic resource] : Lectures from the Fifth de Brún Workshop / edited by Alla Detinko, Dane Flannery, Eamonn O'Brien. by Detinko, Alla [editor.] Flannery, Dane [editor.] O'Brien, Eamonn [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics 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)
		Model Theory of Algebra and Arithmetic [electronic resource] : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979 / edited by Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie. by Pacholski, Leszek [editor.] Wierzejewski, Jedrzej [editor.] Wilkie, Alec J [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 834 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		⊨ISILC Proof Theory Symposion [electronic resource] : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller. by Diller, Justus [editor.] Müller, Gert H [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 500 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Logic Year 1979–80 [electronic resource] : The University of Connecticut, USA / edited by Manuel Lerman, James H. Schmerl, Robert I. Soare. by Lerman, Manuel [editor.] Schmerl, James H [editor.] Soare, Robert I [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 859 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		Computational Methods and Function Theory [electronic resource] : Proceedings of a Conference, held in Valparaíso, Chile, March 13–18, 1989 / edited by Stephan Ruscheweyh, Edward B. Saff, Luis C. Salinas, Richard S. Varga. by Ruscheweyh, Stephan [editor.] Saff, Edward B [editor.] Salinas, Luis C [editor.] Varga, Richard S [editor.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 1435 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		A first course in logic / Mark V. Lawson by Lawson, Mark V Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : CRC Press , 2019 Availability: Items available for loan: IISER Central Library (1)Call number: 511.3 LAW-A. Place hold Add to cart (remove)

(C) Powered by Koha

Powered by Koha