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 24 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).

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.

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.

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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.

Place hold
Interpreting Gödel : critical essays

by Juliette Kennedy (ed.).

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

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).

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).

Place hold
Methods of solving number theory problems

by Ellina Grigorieva.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Birkhauser (Springer) 2018Availability: Items available for loan: Central Library (1)Call number: 512.7 GRI(MET).

Place hold
Pages
Visitor count :