The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...

New to eBooks.com?

Learn more

Computer programming and formal systems

Computer programming and formal systems
Add to cart
US$ 250.00 (+ tax)
Provability, Computability and Reflection
Elsevier Science; April 2000
171 pages; ISBN 9780080957555
Read online, or download in secure PDF format