004 / D753p
Dowek, Gilles
Proofs and algorithms : an introduction to logic and computability / Gilles Dowek .- Berlin: Springer, 2011 .- xii, 155p . .- ( Undergraduate Topics In Computer Science / Edited By Ian Mackie
ISBN: 9780857291202
Subject Headings:
Computer science;
Copy Details:
Acc. No.: A172000, Full Call No.: 004 D753p, Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Dowek, Gilles
Proofs and algorithms : an introduction to logic and computability / Gilles Dowek .- Berlin: Springer, 2011 .- xii, 155p . .- ( Undergraduate Topics In Computer Science / Edited By Ian Mackie
ISBN: 9780857291202
Subject Headings:
Computer science;
Copy Details:
Acc. No.: A172000, Full Call No.: 004 D753p, Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------