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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
No cover image available
Computation engineering : applied automata theory and logic

by Ganesh Gopalakrishnan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer Science 2006Availability: Items available for loan: Central Library (1)Call number: 004.0151 GOP(COM).
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
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
Bounded arithmatic, propositional logic, and complexity theory

by Jan Krajicek.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 1995Availability: Items available for loan: Central Library (1)Call number: 511.3 KRA(BOU).
Lists:

Place hold
Bounded arithmatic, propositional logic, and complexity theory

by Jan Krajicek.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 1995Availability: Items available for loan: Central Library (1)Call number: 511.3 KRA(BOU).
Lists:

Place hold
Discrete structures, logic and computability

by James L. Hein.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bratlett Pub. 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
Lists:

Place hold
Bounded arithmetic, propositional logic, and complexity theory

by Jan Krajicek.

Series: Encyclopedia of mathematics and its applications; vol. 60Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 1995Availability: Items available for loan: Central Library (1)Call number: 511.3 KRA(BOU).
Lists:

Place hold
Discrete structures, logic, and computability

by James L. Hein.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
Lists:

Place hold
Discrete structures, logic, and computability

by James L. Hein.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
Lists:

Place hold
Discrete structures, logic, and computability

by James L. Hein.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
Lists:

Place hold
Discrete structures, logic, and computability

by James L. Hein.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
Lists:

Place hold
Discrete structures, logic, and computability

by James L. Hein.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS).
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
No cover image available
Introduction to the foundations of mathematics

by Raymond Louis Wilder.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: John Wiley c1965Availability: Items available for loan: Central Library (1)Call number: 510 WIL(INT).
Lists:

Place hold
Logic and discrete mathematics : a concise introduction

by Willem Conradie | Valentin Goranko.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: John Wiley & Sons Inc 2015Availability: Items available for loan: Central Library (1)Call number: 004.015113 CON(LOG).
Lists:

Place hold
Algebra and computer science

by Delaram Kahrobaei (ed.) | Bren Cavallo (ed.) | David Garber (ed.).

Series: Contemporary Mathematics; 677Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: American Mathematical Society c2016Availability: Items available for loan: Central Library (1)Call number: 512.0285 ALG.
Lists:

Place hold
Pages
Visitor count :