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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
Introduction to Mathematical logic

by Elliott Mendelson.

Series: Discrete mathematics and its applicationsEdition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press Taylor and Francis Group c2010Availability: Not available: Central Library: Checked out (1).
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
Proof and disproof in formal logic: an introduction for programme

by Richard Bornat.

Series: Oxford texts in logic 2Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press C2005Availability: Items available for loan: Central Library (1)Call number: 004.015113 BOR(PRO).
Lists:

Place hold
A first course in logic: an introduction to model theory, proof theory, computability, and complexity

by Shawn Hedman.

Series: Oxford texts in logic 1Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press c2004Availability: Items available for loan: Central Library (1)Call number: 004.015113 HED(FIR).
Lists:

Place hold
Games, puzzles, and computation

by Robert A. Hearn | Erik D. Demaine.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: A. K. Peters Ltd. c2009Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEA(GAM).
Lists:

Place hold
Institution – independent model theory

by Razvan Diaconescu.

Series: Studies in universal logicEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Birkhauser c2008Availability: Items available for loan: Central Library (1)Call number: 511.34 DIA(INS).
Lists:

Place hold
Logical Labyrinths

by Raymond M. Smullyan.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: A K Peters c2009Availability: Items available for loan: Central Library (1)Call number: 004.015113 SMU(LOG).
Lists:

Place hold
Grammatical inference: learning automata and grammars

by Colin de la Higuera.

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

Place hold
A course in mathematical logic for mathematicians

by Yu. I. Manin.

Series: Graduate texts in mathematics, 53Edition: Second EditionMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2010Availability: Items available for reference: Central Library: Not for loan (1)Call number: 511.3 MAN(COU).
Lists:

Impossibility : the limits of science and the science of limits

by John D. Barrow.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Vintage, London 1999Availability: Items available for loan: Central Library (1)Call number: 501 BAR(IMP).
Lists:

Place hold
No cover image available
Degrees of unsolvability

by Gerald E. Sacks.

Series: Annals of mathematics studies, 55Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press, Princeton, New Jersey 1963Availability: Items available for loan: Central Library (1)Call number: 511.3 SAC(DEG).
Lists:

Place hold
On group-theoretic decision problems and their classification

by Charles F. Miller, III.

Series: Annals of mathematics studies, 68Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press, 1971Availability: Items available for loan: Central Library (1)Call number: 514.3-MIL/ON.
Lists:

Place hold
No cover image available
Tibetan translation of the Nyāyabindu of Dharmakīrti : a treatise on Buddhist logic

by Dharmakīrti | Vinitadeva (com.) | L. de la Vallee Poussin (ed.).

Series: Bibliotheca Indica, work no. 171Material type: Text Text; Format: print ; Literary form: Not fiction Language: Tibetan Publication details: The Asiatic Society, Kolkata. 1984Availability: Items available for loan: Central Library (1)Call number: 181.043 DHA(NYA).
Lists:

Place hold
A course on mathematical logic

by S. M. Srivastava.

Series: UniversitextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Items available for loan: Central Library (1)Call number: 511.3 SRI(COU).
Lists:

Place hold
A course on mathematical logic

by S. M. Srivastava.

Series: UniversitextMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Not available: Central Library: Checked out (1).
Lists:

Place hold
Degrees of Unsolvability : Structure and Theory.

by Richard L. Epstein (ed.).

Series: Lecture notes in Mathematics, 759Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer-Verlag 1979Availability: Items available for loan: Central Library (1)Call number: 511.3 EPS(DEG).
Lists:

Place hold
Constraint logic programming using ECLiPSe

by Krzysztof R. Apt | Mark Wallace.

Series: Edition: 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: 005.116 APT(CON).
Lists:

Place hold
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).
Lists:

Place hold
Computer Logic: design principles and applications

by John Y. Hsu.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2011Availability: Items available for loan: Central Library (2)Call number: 005.1015113 HSU(COM), ...
Lists:

Place hold
Pages
Visitor count :