Your search returned 6 results.

Sort
Results
Clausal Form Logic An Introduction to the logic of Computer Reasoning

by RICHARDS, TOM.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York Addison-Wesley 1989Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 005.131 RIC.

Mathematical Foundations of Computer Science

by RAO, G SHANKER.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: NEW DEHLI I.K. INTERNATIONAL 2006Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 004.015 RAO.

A Mathematical Introduction To Logic

by ENDERTON, HERBERT B.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: NEW YORK Academic Press 1972Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: R-511.3 END.

MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

by ARI, BEN MORDECHAI.

Edition: 3 . Ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Newyork Springer -Verlag 2012Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 004 BEN.

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE

by BATHUL, SHAHNAZ.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: NEW DELHI PHI LEARNING PRIVATE LIMITED 2013Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: 004.015 BAT.

INTRODUCTION TO MATHEMATICAL LOGIC

by CHURCH, ALONZO.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: NEW JERSEY PRINCETON UNIVERSITY PRESS 1956Availability: Items available for loan: Malaviya National Institute of Technology (1)Call number: B3 CHU.

Pages