Enlarge

Proofs and algorithms : an introduction to logic and computability

Gilles Dowek

Publication Data

Title Proofs and algorithms : an introduction to logic and computability
Author Gilles Dowek
Publisher Springer
Publication date 2011
Publication location London
Language English

Topics

Computer logic

Catalogue Data

OBNB ID GBB0B6717
ISBN 10 0857291203
ISBN 13 9780857291202
Type BibliographicResource, Book
Dewey Classification 004.015113

ISBD

P1053 xii, 155 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Proofs and algorithms : an introduction to logic and computability by Gilles Dowek. ISBN 9780857291202. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.