Library, University of Moratuwa, Sri Lanka

Your cart is empty.
OPAC Home  

LOGIC techniques of formal reasoning

By: Kalish, DonaldLanguage: EN Publisher: San Diego Harcourt Brace Jovanovich 1980Edition: 2d edDescription: 520 pISBN: 0-15-551181-5Subject(s): COMPUTER METATHEORY-FORMAL LOGIC | COMPUTER PROGRAMMING-ALGORITHMS
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
Book Book Library, University of Moratuwa
The University of Moratuwa Library (UML) is one of the most prominent technology libraries in the country. Its main subject specializations are Engineering, Architecture and Information Technology. However, the library caters to the requirements of the membership by housing books and other materials of general interest as well.
On Request Collection 		510.5 K3 (Browse shelf) Not For Loan 54975
Total holds: 0

There are no comments on this title.

to post a comment.

Copyright @ 2015-2021 Library, University of Moratuwa, Katubedda, Moratuwa (10400), Sri Lanka