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 22 results.

Not what you expected? Check for suggestions
1.
The strange logic of random graphs

by Joel Spencer.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer, New York, Berlin c2001Availability: Items available for loan: Prajna BhavanCall number: 511.5 SPE(STR) (1).

2.
Logic and structure

by Dirk van Dalen.

Edition: Fourth EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer-Verlag; Berlin, New York 2004Availability: Items available for loan: Prajna BhavanCall number: 511.3 DAL(LOG) (1).

3.
Mathematical logic

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

Edition: Second editionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer-Verlag, New York 1994Availability: Items available for loan: Prajna BhavanCall number: 511.3 EBB(MAT) (1).

4.
Mathematical logic

by J. Donald Monk.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer-Verlag, New York 1976Availability: Items available for loan: Prajna BhavanCall number: 511.3 MON(MAT) (1).

5.
Mathematical logic for computer science

by Mordechai Ben-Ari.

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

6.
Logic for applications : second edition

by Anil Nerode | Richard A. Shore.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer, New York 1997Availability: Items available for loan: Prajna BhavanCall number: 005.1015113 NER(LOG) (1).

7.
First-order logic and automated theorem proving : second edition

by Melvin Fitting.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer, New York 1996Availability: Items available for loan: Prajna BhavanCall number: 004.015113 FIT(FIR) (1).

8.
Mathematical logic for computer science

by Mordechai Ben-Ari.

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

9.
Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer-Verlag 2008Availability: Items available for loan: Prajna BhavanCall number: 005.1 KRO(DEC) (1).

10.
Decision procedures : an algorithmic point of view

by Daniel Kroening | Ofer Strichman.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Springer-Verlag 2008Availability: Items available for loan: Prajna BhavanCall number: 004.015181 KRO(DEC) (1).

11.
Descriptive complexity

by Neil Immerman.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer c1999Availability: Items available for loan: Prajna BhavanCall number: 004.015113 IMM(DES) (1).

12.
A course in mathematical logic for mathematicians

by Yu. I. Manin.

Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer, New York. 2010Availability: Items available for reference: Prajna Bhavan Not for loanCall number: 511.3 MAN(COU) (1). :

13.
A course on mathematical logic

by S. M. Srivastava.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer, New York. 2008Availability: Items available for loan: Prajna BhavanCall number: 511.3 SRI(COU) (1).

14.
A course on mathematical logic

by S. M. Srivastava.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer, New York. 2008Availability: Items available for loan: Prajna BhavanCall number: 511.3 SRI(COU) (1).

15.
A logical introduction to proof

by Daniel W. Cunningham.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer 2012Availability: Items available for loan: Prajna BhavanCall number: 004.015113 CUN(LOG) (1).

16.
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 Publisher: Springer 2013Availability: Items available for loan: Prajna BhavanCall number: 004.015113 PUD(LOG) (1).

17.
Combinatorial algebra : syntax and semantics

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

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer 2014Availability: Items available for loan: Prajna BhavanCall number: 004.015116 SAP(COM) (1).

18.
Introduction to Mathematica® with applications

by Marian Mureşan.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer c2017Availability: Items available for loan: Prajna BhavanCall number: 510.285536 MUR(INT) (1).

19.
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 Publisher: Springer India Pvt. Ltd. 2011Availability: Items available for reference: Prajna Bhavan Not for loanCall number: 511.322 KOM(PRO) (1). :

20.
A course on Borel sets

by S. M. Srivastava.

Edition: 1st Indian reprintMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Springer (India) Private Limited 2010Availability: Items available for reference: Prajna Bhavan Not for loanCall number: 511.32 SRI(COU) (1). :

Visitor count :

Powered by Koha