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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
Introduction to Mathematical logic

by Elliott Mendelson.

Series: Discrete mathematics and its applicationsEdition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press Taylor and Francis Group c2010Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.015113 MEN(INT).
Lists:

Introduction to Mathematical logic

by Elliott Mendelson.

Series: Discrete mathematics and its applicationsEdition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press Taylor and Francis Group c2010Availability: Not available: Central Library: Checked out (1).
Lists:

Place hold
No cover image available
Degrees of unsolvability

by Gerald E. Sacks.

Series: Annals of mathematics studies, 55Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press, Princeton, New Jersey 1963Availability: Items available for loan: Central Library (1)Call number: 511.3 SAC(DEG).
Lists:

Place hold
Degrees of Unsolvability : Structure and Theory.

by Richard L. Epstein (ed.).

Series: Lecture notes in Mathematics, 759Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag 1979Availability: Items available for loan: Central Library (1)Call number: 511.3 EPS(DEG).
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
Three views of logic : mathematics, philosophy, and computer science

by Donald W. Loveland | Richard E. Hodel | S.G. Sterrett.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press c2014Availability: Items available for loan: Central Library (1)Call number: 004.015113 LOV(THR).
Lists:

Place hold
Computability and unsolvability

by Martin Davis.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dover Publications 1982Availability: Items available for loan: Central Library (1)Call number: 517.5 DAV(COM).
Lists:

Place hold
Pages
Visitor count :