opac header image

Your search returned 90 results.

Not what you expected? Check for suggestions
Sort
Results
61.
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.

62.
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.

63.
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.

64.
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.

65.
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.

66.
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.

67.
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.

68.
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.

69.
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.

70.
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.

71.
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.

72.
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.

73.
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.

74.
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.

75.
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.

76.
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.

77.
Giuseppe Peano between Mathematics and Logic

by Skof, Fulvia., 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: 510.9, 23.

78.
Logica: Metodo Breve

by Mundici, Daniele., author.

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

79.
Logic: A Brief Course

by Mundici, Daniele., author.

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

80.
Non solo calcoli

by Villani, Vinicio., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Milano Springer Milan, Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 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