Library, University of Moratuwa, Sri Lanka catalog

Normal view MARC view ISBD view

Kalish, Donald

LOGIC techniques of formal reasoning - 2d ed. - San Diego Harcourt Brace Jovanovich 1980 - 520 p.

ISBN: 0-15-551181-5

Subjects--Topical Terms:
COMPUTER METATHEORY-FORMAL LOGIC
COMPUTER PROGRAMMING-ALGORITHMS

Universal Decimal Class. No.: 510.5 / K3

Print
Add to your cart (remove)
Suggest for purchase
Save record
More searches