Computation, proof, machine Mathematics enters a new age by Gilles Dowek

By:

Dowek, Gilles

Material type: Book

BookLanguage: English Series: ; Current publication frequency: .Publication details: New York: Cambridge University Press, 2015.Edition: Description: 152 p,: 22 cmISBN:

9780521133777

Subject(s):

Mathematics
Mathematics
20th century
Greek resolution
Church`s Thesis
Lambda Calculus

DDC classification:

510.9 DOW

LOC classification:

List(s) this item appears in: Mathematics

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	IIT Gandhinagar	General	510.9 DOW (Browse shelf(Opens below))	Available		022181

Includes bibliography

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)