The Leading eBooks Store Online
for your Apple or Android device, Nook, Kobo, PC, Mac, Sony Reader...
Logic in algebraic form
three languages and theories
Add to cart
US$ 250.00
(+ tax)
Preview (read now)
Add to my own site
Buy multiple copies
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: 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 & Technology; April 2000
213 pages; ISBN 9780080954837
Read online, or download in secure PDF format
213 pages; ISBN 9780080954837
Read online, or download in secure PDF format
Subject categories
- Academic > Mathematics > General > Logic, Symbolic and mathematical
- Academic > Mathematics > General > Combinatory logic
- Academic > Mathematics > General > Proof theory
- Academic > Logic > Philosophical logic > History
- Academic > Logic > Philosophical logic > Logic, Symbolic and mathematical
- Academic > Mathematics > Instruments and machines
- Academic > Mathematics > Analytic mechanics
- Academic > Logic > Combinatory logic
- Academic > Logic > Proof theory
- Academic > Philosophy > Philosophical logic > History
- Academic > Philosophy > Philosophical logic > Logic, Symbolic and mathematical
- Academic > Computer Science
- Mathematics > Logic
- Language Arts & Disciplines > Communication
- Computers > Information Technology
ISBNs
9780444104779
9780080954837
0080954839