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

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
From logic to logic programming

by Kees Doets.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994Availability: Items available for loan: Central Library (1)Call number: 005.115 DOE(LOG).

Place hold
Semantics and logics of computation

by A. Pitts (ed.) | P. Dybjer (ed.).

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

Place hold
Types in logic programming

by Frank Pfenning (ed.).

Series: Logic programming seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge, 1992Availability: Items available for loan: Central Library (1)Call number: 005.115 TYP.

Place hold
Types in logic programming

by Frank Pfenning (ed.).

Series: Logic programming seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press, Cambridge 1992Availability: Items available for loan: Central Library (1)Call number: 005.115 TYP.

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

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

Place hold
Delta: a paradox logic

by N. S. K. Hellerstein.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific Pub.Co.Ltd. 1997Availability: Items available for loan: Central Library (1)Call number: 511.3 HEL(DEL).

Place hold
Nonstandard logics and nonstandard metrics in physics

by William M. Honig.

Series: K & E series on knots and everything, volume 10Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific, 1995Availability: Items available for loan: Central Library (1)Call number: 530.15 HON(NON).

Place hold
Encyclopaedia of ethics and logic: a history of ethics

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.1 .

Encyclopaedia of ethics and logic: a theory of ethics

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.2.

Encyclopaedia of ethics and logic: comparative religious ethics

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.3.

Encyclopaedia of ethics and logic: an introduction to applied ethics

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.4.

Encyclopaedia of ethics and logic: human sexuality and ethics

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.5.

Encyclopaedia of ethics and logic: the history of logic

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.6.

Encyclopaedia of ethics and logic: formal logic

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.7.

Encyclopaedia of ethics and logic: the science of logic

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.8.

Encyclopaedia of ethics and logic: the language and grammar of logic

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.9.

Encyclopaedia of ethics and logic: logic and mathematics

by John H. Piet (ed.) | Ayodhya Prasad (ed.).

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cosmo Publications 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 170 ENC V.10 .

Descriptive complexity

by Neil Immerman.

Series: Graduate texts in computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c1999Availability: Items available for loan: Central Library (1)Call number: 004.015113 IMM(DES).

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: Items available for reference: Central Library: Not for loan (1)Call number: 004.015113 MEN(INT).

Pages
Visitor count :