Goa University
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Proofs and Algorithms: Introduction to Logic and Computability Theory.

Material type: TextTextPublication details: London; 2011. Springer-Verlag;Description: xii; 155p. 24 cmISBN:
  • 9780857291202
  • 0857291203
Subject(s): DDC classification:
  • 005.131 DOW/Pro
Online resources:
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 Date due Barcode
Books Books Goa University Library MCA Book Bank 005.131 DOW/Pro (Browse shelf(Opens below)) Available 139442

There are no comments on this title.

to post a comment.

Designed & Maintained by: Goa University (GU Library)
Contact: System Analyst :ans @unigoa.ac.in


Powered by Koha