opac header image

Refine your search

Your search returned 172 results.

Not what you expected? Check for suggestions
Sort
Results
101.
Kolmogorov's Heritage in Mathematics

by Charpentier, Eric.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2007Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

102.
Ernst Zermelo

by Ebbinghaus, Heinz-Dieter.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer 2007Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.9, 23.

103.
Proof Theory

by Pohlers, Wolfram., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

104.
Field Arithmetic

by Fried, Michael D., author.

Edition: Third Edition.Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 512, 23.

105.
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

by Kohlenbach, Ulrich., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.

106.
Ernst Zermelo - Collected Works/Gesammelte Werke

by Zermelo, Ernst., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2010Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

107.
Teoria algebrica dei meccanismi automatici

by Righi, R., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

108.
Recursion Theory and Computational Complexity

by Lolli, G., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

109.
Aspects of Mathematical Logic

by Casari, E., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

110.
Model Theory and Applications

by Mangani, P., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

111.
Mathematical Lives

by Bartocci, Claudio., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.9, 23.

112.
Hyperfinite Dirichlet Forms and Stochastic Processes

by Albeverio, Sergio., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

113.
Sparsity

by Nesetil, Jaroslav.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.6, 23.

114.
Logica Universalis

by Beziau, Jean-Yves., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Basel Birkhäuser Basel 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

115.
Set Theory

by Bagaria, Joan., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Basel Birkhäuser Basel 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

116.
Logica Universalis

by Beziau, Jean-Yves., editor.

Edition: Second Edition.Material type: Computer file Computer file; Format: electronic Language: English Publication details: Basel Birkhäuser Basel 2007Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

117.
Completeness Theory for Propositional Logics

by Pogorzelski, Witold A., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Basel Birkhäuser Basel 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

118.
Institution-independent Model Theory

by Diaconescu, Razvan.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Basel Birkhäuser Basel 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

119.
Guida alla teoria degli insiemi

by Lolli, Gabriele., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Milano Springer Milan 2008Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23.

120.
Un mondo di idee

by Ciliberto, Ciro., editor.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Milano Springer Milan 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 519, 23.

Pages
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha