The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Computer programming and formal systems
US$ 250.00
(+ tax)
Preview (read now)
Add to my own site
Give this ebook to a friend
Add to my wishlist
Author's page
Publisher's page
Devices
- iPad
- PC
- e-readers with Adobe Digital Editions installed
- Mac
See the full list
Available Devices
X
This book is available for the following devices:
- iPad
- Windows
- Mac
- Sony Reader
- Cool-er Reader
- Nook
- Kobo Reader
- iRiver Story
File Formats
Download: secure PDF.
You can also read this book online in eb20 format without having to download anything.
You can also read this book online in eb20 format without having to download anything.
Permissions
Printing
Copy/Paste
Read Aloud
Printing
Copy/Paste
Read Aloud
Provability, Computability and Reflection
Elsevier Science; April 2000
171 pages; ISBN 9780080957555
Read online, or download in secure PDF format
171 pages; ISBN 9780080957555
Read online, or download in secure PDF format
Subject categories
- Academic > Mathematics > General > Mathematics
- Academic > Logic > Philosophical logic > History
- Academic > Logic > Philosophical logic > Logic, Symbolic and mathematical
- Academic > Computer Science > Computer science
- Academic > Computer Science > Electronic data processing
- Academic > Computer Science > Computers - special aspects
- Academic > Computer Science > System design; Periodicals
- Academic > Computer Science > Formal methods
- Academic > Mathematics > Instruments and machines
- Academic > Mathematics > Geometry. Trigonometry.Topology
- Academic > Philosophy > Philosophical logic > History
- Academic > Philosophy > Philosophical logic > Logic, Symbolic and mathematical
- Language Arts & Disciplines > Communication
- Computers > Information Technology
- Mathematics
ISBNs
0080957552
9780080957555
9780444534002