This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Have an account?Sign in

Proofs and Algorithms - An Introduction to Logic and Computability eBook by Gilles Dowek

Proofs and Algorithms

An Introduction to Logic and Computability

Computer Science (R0)

Synopsis

Categories

Computer Science

About this book

Language:English
ISBN:9780857291219
Release date:Jul 5, 2016
Publisher:Springer London

Imprint:Springer
File format:EPUB2
File size:1.63 MB
Download options:EPUB2 (Adobe DRM)

In this series

Introduction to the Theory of Programming Languages - eBook by Gilles Dowek,Jean-Jacques Lévy

Introduction to the Theory of Programming Languages

Gilles Dowek,Jean-Jacques Lévy