Results

Book cover

Proofs and Algorithms

An Introduction to Logic and Computability

© 2011

Soft cover - Print (ISBN: 978-0-85729-120-2)

Electronic (ISBN: 978-0-85729-121-9)

View this book on SpringerLink

Download Product Archive File - 978-0-85729-121-9 Download product archive files for 978-0-85729-121-9