Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade

Your search returned 27 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
The strange logic of random graphs

by Joel Spencer.

Series: Algorithms and combinatorics, 22Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York, Berlin c2001Availability: Items available for loan: Central Library (1)Call number: 511.5 SPE(STR).
Lists:

Place hold
Logic and structure

by Dirk van Dalen.

Series: UniversitextEdition: Fourth EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag; Berlin, New York 2004Availability: Not available: Central Library: Checked out (1).
Lists:

Place hold
Mathematical logic

by Heinz-Dieter Ebbinghaus | Jorg Flum | Wolfgang Thomas.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag, New York 1994Availability: Items available for loan: Central Library (1)Call number: 511.3 EBB(MAT).
Lists:

Place hold
Mathematical logic

by J. Donald Monk.

Series: Graduate texts in mathematics, 37Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag, New York 1976Availability: Items available for loan: Central Library (1)Call number: 511.3 MON(MAT).
Lists:

Place hold
Mathematical logic for computer science

by Mordechai Ben-Ari.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT).
Lists:

Place hold
Logic for applications : second edition

by Anil Nerode | Richard A. Shore.

Series: Graduate texts in computer scienceEdition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1997Availability: Items available for loan: Central Library (1)Call number: 005.1015113 NER(LOG).
Lists:

Place hold
First-order logic and automated theorem proving : second edition

by Melvin Fitting.

Series: Graduate texts in computer scienceEdition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York 1996Availability: Items available for loan: Central Library (1)Call number: 004.015113 FIT(FIR).
Lists:

Place hold
Mathematical logic for computer science

by Mordechai Ben-Ari.

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited, New Delhi 2005Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT).
Lists:

Place hold
No cover image available
Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 005.1 KRO(DEC).
Lists:

Place hold
No cover image available
Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 004.015181 KRO(DEC).
Lists:

Place hold
Descriptive complexity

by Neil Immerman.

Series: Graduate texts in computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c1999Availability: Items available for loan: Central Library (1)Call number: 004.015113 IMM(DES).
Lists:

Place hold
A course in mathematical logic for mathematicians

by Yu. I. Manin.

Series: Graduate texts in mathematics, 53Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2010Availability: Items available for reference: Central Library: Not for loan (1)Call number: 511.3 MAN(COU).
Lists:

A course on mathematical logic

by S. M. Srivastava.

Series: UniversitextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Items available for loan: Central Library (1)Call number: 511.3 SRI(COU).
Lists:

Place hold
A course on mathematical logic

by S. M. Srivastava.

Series: UniversitextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Not available: Central Library: Checked out (1).
Lists:

Place hold
A logical introduction to proof

by Daniel W. Cunningham.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2012Availability: Items available for loan: Central Library (1)Call number: 004.015113 CUN(LOG).
Lists:

Place hold
Logical foundations of mathematics and computational complexity: a gentle introduction

by Pavel Pudlak.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2013Availability: Items available for loan: Central Library (1)Call number: 004.015113 PUD(LOG).
Lists:

Place hold
Combinatorial algebra : syntax and semantics

by Mark V. Sapir | Victor S. Guba | Mikhail V. Volkov.

Series: Springer monographs in mathematicsEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2014Availability: Items available for loan: Central Library (1)Call number: 004.015116 SAP(COM).
Lists:

Place hold
Introduction to Mathematica® with applications

by Marian Mureşan.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2017Availability: Items available for loan: Central Library (1)Call number: 510.285536 MUR(INT).
Lists:

Place hold
Problems and theorems in classical set theory

by Peter Komjath | Vilmos Totik.

Edition: 1st Indian ReprintMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer India Pvt. Ltd. 2011Availability: Items available for loan: Central Library (1)Call number: 511.322 KOM(PRO).
Lists:

Place hold
A course on Borel sets

by S. M. Srivastava.

Series: Graduate studies in mathematics, Vol 180Edition: 1st Indian reprintMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited 2010Availability: Items available for loan: Central Library (1)Call number: 511.32 SRI(COU).
Lists:

Place hold
Pages
Visitor count :