Normal view MARC view ISBD view

The great formal machinery works : theories of deduction and computation at the origins of the digital age / Jan Von Plato.

By: Von Plato, Jan.

Material type: Text

TextPublisher: Princeton, NJ : Princeton University Press, 2017Description: viii, 377 pages, Rs. 1622.00 ill.; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9780691174174 (alk. paper).Subject(s):

List(s) this item appears in: 2017-10-11

Holdings ( 1 )
Title notes

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	511.3 VON (Browse shelf)	Available		10209

Total holds: 0

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous								Next
Previous	511.3 STE The foundations of mathematics /	511.3 STI Reverse mathematics : proofs from the inside out /	511.3 VON Elements of logical reasoning /	511.3 VON The great formal machinery works : theories of deduction and computation at the origins of the digital age /	511.322 DEV Constructibility /	511.322 HAL Combinatorial set theory : with a gentle introduction to forcing /	511.322 MIL Descriptive set theory and forcing : how to prove theorems about borel sets the hard way /	Next

Includes bibliography and index.

CMI Library

The great formal machinery works : theories of deduction and computation at the origins of the digital age / Jan Von Plato.

By: Von Plato, Jan.

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser