Gilles Dowek

Proofs and Algorithms

An Introduction to Logic and Computability

We couldn't estimate the reading time for this book.

Author

Gilles Dowek

Contributions

SpringerLink (Online service) - Contributor

Publication

2011 - Springer-Verlag London Limited, London, England

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

Internet Archiveproofsalgorithms00dowe
Internet Archiveproofsalgorithms00dowe_403
Internet Archiveproofsalgorithms00gdow
ISBN-139780857291202
ISBN-139780857291219

and 7 more

ISBN-100857291203
ISBN-100857291211
Library of Congress Control Number2011282450
Better World Books9780857291202
Better World Books9780857291219
Better World BooksKT-827-167
Open LibraryOL25561912M

Classifications

LCCQA9 .D68 2011
LCCQA75.5-76.95

Subjects

Topics

Algorithms Computer science Information theory Theory of Computation Symbolic and mathematical Logic Logic, symbolic and mathematical Mathematical Logic and Formal Languages

Series Statement

Undergraduate Topics in Computer Science

Similar Books

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!