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 72 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

by Ian Chiswel | Wilfrid Hodges.

Series: Oxford texts in logic, 3Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press, New York, London 2007Availability: Items available for loan: Central Library (1)Call number: 511.3 CHI(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
Mathematical logic

by George Tourlakis.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: John Wiley & Sons; Hoboken, New Jersey 2008Availability: Items available for loan: Central Library (1)Call number: 005.131 TOU(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
Rippling : meta-level guidance for mathematical reasoning

by Alan Bundy | David Basin | Dieter Hutter | Andrew Ireland.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 006.333 RIP.
Lists:

Place hold
No cover image available
Linear logic in computer science

by Thomas Ehrhard (ed.) | Jean-Yves Girard (ed.) | Paul Ruet (ed.) | Philip Scott (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2004Availability: Items available for loan: Central Library (1)Call number: 004.0151136 LIN.
Lists:

Place hold
No cover image available
Linear logic in computer science

by Thomas Ehrhard (ed.) | Jean-Yves Girard (ed.) | Paul Ruet (ed.) | Philip Scott (ed.).

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2004Availability: Items available for loan: Central Library (1)Call number: 004.0151136 LIN.
Lists:

Place hold
Lectures in logic and set theory, vol.1 : mathematical logic

by George Tourlakis.

Series: Cambridge studies in advanced mathematics, 82Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 2003Availability: Items available for loan: Central Library (1)Call number: 511.3 TOU(LEC).
Lists:

Place hold
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

by S. Barry Cooper (ed.) | John K. Truss (ed.).

Series: London Mathematical Society lecture note series, 259Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 1999Availability: Items available for loan: Central Library (1)Call number: 511.34 MOD.
Lists:

Place hold
Set theory, logic and their limitations

by Moshe Machover.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press; Cambridge, New York 1996Availability: Items available for loan: Central Library (1)Call number: 511.322 MAC(SET).
Lists:

Place hold
Set theory, logic and their limitations

by Moshe Machover.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press; Cambridge, New York 1996Availability: Items available for loan: Central Library (1)Call number: 511.322 MAC(SET).
Lists:

Place hold
No cover image available
Lectures On The Logic Of Computer Programming

by Zohar Manna.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Socy.For Indl.& Appld.Maths.SIAM 1980Availability: Items available for loan: Central Library (1)Call number: 005.1 MAN(LEC).
Lists:

Place hold
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

by S. Barry Cooper (ed.) | John K. Truss (ed.).

Series: London Mathematical Society lecture note series, 259Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press, Cambridge 1999Availability: Items available for loan: Central Library (1)Call number: 511.34 MOD.
Lists:

Place hold
Pages
Visitor count :