10% OFF

Metamathematics, Machines And Godel'S Proof

by N. (Sri International, Usa) Shankar
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, January of 1997 ‧
63,54€
10% OFF CARD
free shipping
Sell ​​your book
Describes the use of computer programs to check several proofs in the foundations of mathematics.

Metamathematics, Machines And Godel'S Proof

by N. (Sri International, Usa) Shankar

Property Description
ISBN: 9780521585330
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: January of 1997
Language: English
Dimensions: 189 x 233 x 12 mm
Cover: Softcover
Pages: 220
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Science > Mathematics
EAN: 9780521585330