opac header image

Your search returned 23 results.

Not what you expected? Check for suggestions
Sort
Results
1.
The q-theory of Finite Semigroups

by Rhodes, John., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

2.
M-Solid Varieties of Algebras

by Koppitz, J., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 512, 23.

3.
Mathematical Problems from Applied Logic I

by Gabbay, Dov M., editor.

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

4.
Notes on Set Theory

by Moschovakis, Yiannis., author.

Edition: Second Edition.Material type: Computer file Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23.

5.
Analysis and Synthesis of Logics

by Carnielli, Walter., author.

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

6.
Towards Mathematical Philosophy

by Makinson, David., editor.

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

7.
Verification and Control of Hybrid Systems

by Tabuada, Paulo., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Boston, MA Springer US 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

8.
Data Mining and Knowledge Discovery via Logic-Based Methods

by Triantaphyllou, Evangelos., author.

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

9.
Mathematical Logic and Model Theory

by Prestel, Alexander., author.

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

10.
A Course in Formal Languages, Automata and Groups

by Chiswell, Ian M., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: London Springer London 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1).

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

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

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

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

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

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

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

18.
Natural Deduction, Hybrid Systems and Modal Logics

by Indrzejczak, Andrzej., author.

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

19.
Hybrid Logic and its Proof-Theory

by Braüner, Torben., author.

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

20.
Dual Tableaux: Foundations, Methodology, Case Studies

by Orlowska, Ewa., author.

Material type: Computer file Computer file; Format: electronic Language: English Publication details: Dordrecht Springer Netherlands, Imprint: Springer, 2011Online 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