Your search returned 123 results.

Results
		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)
		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)
		Conjectures and refutations : The growth of scientific knowledge / Karl Popper. by Popper, Karl R Series: Routledge classics Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Routledge, 2002 Availability: Items available for loan: IISER Central Library (1)Call number: 121 POP-C. Place hold Add to cart (remove)
		No cover image available No cover image available A comparative study of R and C valued Artificial Neural Networks with focus on application in Quantum Information / Jorawar Singh. by Singh,Jorawar [MS14085] Supervisor Name - Dr. Arvind Material type: Text; Format: print ; Literary form: Not fiction Language: Eng. Publication details: IISER Mohali: Department of Physical Science, April 2019 Dissertation note: Online access: Click here to access online Availability: Items available for reference: IISER Central Library: Not For Loan (1). 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)
		No cover image available No cover image available Utilizing Noise to implement Logical operations in Bistable Systems / Manaoj Aravind V. by V, Manaoj Aravind [MP12011] Supervisor Name - Professor Sudeshna Sinha Material type: Text; Format: print ; Literary form: Not fiction Language: Eng. Publication details: IISER Mohali Department of Physical Sciences , Jan 2020 Dissertation note: Professor Sudeshna Sinha 2012 Jan 2020 Online access: Click here to access online Availability: Items available for reference: IISER Central Library: Not For Loan (1). Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
Next
Last

(C) Powered by Koha

Powered by Koha