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

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

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

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

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

Zermelo's axiom of choice : its origins, development, and influence

by Gregory H. Moore.

Series: Studies in the History of Mathematics and Physical Sciences, 8Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer – Verlag 1982Availability: Items available for loan: Central Library (1)Call number: 511.3 MOO(ZER).

Introduction to discrete mathematics via logic and proof

by Calvin Jongsma.

Series: Undergraduate Texts in MathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer Nature 2019Availability: Items available for loan: Central Library (1)Call number: 511.1 JON(INT).

Additive number theory : festschrift in honor of the sixtieth birthday of Melvyn B. Nathanson

by D. Chudnovsky (ed.) | G. Chudnovsky (ed.) | Melvyn B. Nathanson.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2010Availability: Items available for loan: Central Library (1)Call number: 512.73 ADD.

Pages
Visitor count :