Name: Metamathematics, Machines and Godel's Proof
Price: 61.00 EUR
Availability: InStock
Author: N. (SRI International Shankar
ISBN: 9780521585330

Metamathematics, Machines and Godel's Proof von N. (SRI International Shankar

Sie sparen 0% des UVP sparen 0%

Taschenbuch
Versandfertig in 1-2 Wochen
61,00 €

Über Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Sprache:
Englisch

ISBN:
9780521585330

Verlag:
Cambridge University Press

Einband:
Taschenbuch

Seitenzahl:
220

Veröffentlicht:
30. Januar 1997

Abmessungen:
234x192x14 mm.

Gewicht:
422 g.

61,00 € inkl. MwSt.
~~61,00 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über N. (SRI International Shankar

Alle Bücher von N. (SRI International Shankar anzeigen

Beschreibung von Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Kund*innenbewertungen von Metamathematics, Machines and Godel's Proof

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Metamathematics, Machines and Godel's Proof ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Metamathematics, Machines and Godel's Proof

Über N. (SRI International Shankar

Beschreibung von Metamathematics, Machines and Godel's Proof

Kund*innenbewertungen von Metamathematics, Machines and Godel's Proof

Willkommen bei den Tales Buchfreunden und -freundinnen