Analysis and synthesis of logics how to cut and paste reasoning systems Carnielli, Walter ...[et al.]

By: Material type: TextTextPublication details: Springer 2008DDC classification:
  • 511.3 T08 CAR.C
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Barcode
Books Books Nalanda Library Circulation Books 511.3 T08 CAR.C (Browse shelf(Opens below)) Available 1749
Total holds: 0

There are no comments on this title.

to post a comment.