Skip to content

Loading

Search Explore Expert picks

FA Sign in

Search Explore Expert picks Sign in

Discover references

Gilles Dowek (auth.)

Books

1 results

Cover of Proofs and Algorithms: An Introduction to Logic and Computability

English Beginner

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek (auth.)

2011 View book

An open, expert-guided library for choosing better learning references.

Request a book Search Experts

© RefHub · Open references for deeper learning