opac header image

Refine your search

Your search returned 172 results.

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

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

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

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

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

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

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

128.
Methods of Cut-Elimination

by Leitsch, Alexander., 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: 511.3, 23.

129.
Advanced Lukasiewicz calculus and MV-algebras

by Mundici, D.

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: 511.3, 23.

130.
Paradoxes

by Łukowski, Piotr., 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.

131.
Instruction Sequences for Computer Science

by Bergstra, Jan A., author.

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

132.
Ultimate Explanations of the Universe

by Heller, Michael., author.

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

133.
Modern Formal Methods and Applications

by Gabbar, Hossam A., editor.

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

134.
Non-commutative multiple-valued logic algebras

by Ciungu, Lavinia Corina.

Series: Springer Monographs in MathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2014Availability: Items available for loan: NISER LIBRARY (1)Call number: 512.71 CIU-N.

135.
Intensional and higher-order modal logic [electronic resource] : with applications to Montague semantics / Daniel Gallin.

by Gallin, Daniel.

Series: North-Holland mathematics studies ; 19.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam : New York : North Holland Pub. Co. ; American Elsevier Pub. Co., 1975Online access: ScienceDirect | Volltext Availability: No items available.

136.
Logic and structure

by Dalen, Dirk van.

Series: UniversitextEdition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: London Springer 2013Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.635 DAL-L.

137.
Introduction to logic

by Copi, Irving M.

Edition: 14th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Pearson 2014Availability: Not available: NISER LIBRARY: Checked out (1).

138.
Symbolic logic

by Copi, Irving M.

Edition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Delhi PHI 2014Availability: Not available: NISER LIBRARY: Checked out (1).

139.
Principles of mathematical logic

by Hilbert, David | Ackermann, W | Luce, Robert E.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence AMS 1999Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.63 HIL-P.

140.
Algebraic introduction to mathematical logic (an)

by Barnes, Donald W | Mack, John M | SpringerLink (Online service).

Series: Graduate texts in mathematics; vol.22Material type: Text Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: New York Springer 1975Availability: Items available for loan: SMS Library (1)Call number: 510.6 BAR-A.

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