Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
32.17
USD
Book Details
Author(s)Gilles Dowek
PublisherSpringer
ISBN / ASIN0857291203
ISBN-139780857291202
MarketplaceUnited States 🇺🇸




