# Computation, Proof, Machine ![[cover-calibre-240.jpg|256]] ## Metadata **Source**:: #from/calibre **Kind**:: #books **Generated by**:: [[ob-calibre]] **Status**:: #someday **Tags**:: #tech **Pages**:: 176 **Progress**:: <progress value="0" max="100"></progress> **Title**:: Computation, Proof, Machine **Authors**:: [[Marion Roman]], [[Gilles Dowek]], [[Pierre Guillot]] **Publisher**:: [[Cambridge University Press]] **Published**:: [[2015-05-31]] **Updated**:: [[2019-12-17]] **ISBN**:: 9781316379127 **Languages**:: #lang/en **Formats**:: #format/epub **Cover**:: cover-calibre-240.jpg **Dropbox Directory**:: [Open Directory in Dropbox](https://www.dropbox.com/home/Calibre%20Library/Marion%20Roman/Computation%2C%20Proof%2C%20Machine%20%28240%29) **macOS Local Directory**:: [Open Directory Locally](file://C%3A/Users/me/Dropbox/Calibre%20Library/Marion%20Roman/Computation%2C%20Proof%2C%20Machine%20%28240%29) **Calibre Link**:: [Open in Calibre](calibre://show-book/Calibre_Library/240)