CURAJ Library

Welcome to CURAJ Library!

Image from Google Jackets

Proof and algorithms : an introduction to logic and computability by Dowek Gilles

By: Gilles, DowekPublication details: London Springer 2011 Description: 155pSubject(s): Mathematics; AlgorithmsDDC classification: 005.131
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books Central University Of Rajasthan
005.131 D75P (Browse shelf(Opens below)) Available 11524

There are no comments on this title.

to post a comment.