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
Results
Computability and logic

by George S. Boolos | John P. Burgess | Richard C. Jeffrey.

Series: Edition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 004.01511352 BOO(COM).

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

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

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

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

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

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

Logical foundations of mathematics and computational complexity: a gentle introduction

by Pavel Pudlak.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2013Availability: Items available for loan: Central Library (1)Call number: 004.015113 PUD(LOG).

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

Combinatorial algebra : syntax and semantics

by Mark V. Sapir | Victor S. Guba | Mikhail V. Volkov.

Series: Springer monographs in mathematicsEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2014Availability: Items available for loan: Central Library (1)Call number: 004.015116 SAP(COM).

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.

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 .

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning

by Bob Coecke | Aleks Kissinger.

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

Classical groups, derangements, and primes

by Timothy C. Burness | Michael Giudici.

Series: Australian Mathematical Society lecture series, 25Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2016Availability: Items available for loan: Central Library (1)Call number: 512.7 BUR(CLA).

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

A course on Borel sets

by S. M. Srivastava.

Series: Graduate studies in mathematics, Vol 180Edition: 1st Indian reprintMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer (India) Private Limited 2010Availability: Items available for loan: Central Library (1)Call number: 511.32 SRI(COU).

A first course in logic

by Mark V. Lawson.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press 2019Availability: Items available for loan: Central Library (1)Call number: 511.3 LAW(FIR).

Algebra, logic and combinatorics

by Shaun Bullett (ed.) | Tom Fearn (ed.) | Frank Smith (ed.).

Series: LTCC advanced mathematics series, Vol. 3Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific 2016Availability: Items available for loan: Central Library (1)Call number: 510 ALG.

Pages
Visitor count :