Metamathematics, Machines and Godel's Proof (Bog, Paperback / softback, Engelsk) af N. (SRI International Shankar
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk datateori
  6. Metamathematics, Machines and Godel's Proof

Metamathematics, Machines and Godel's Proof

(Bog, Paperback / softback, Engelsk)
Forfatter: N. (SRI International Shankar
Metamathematics, Machines and Godel's Proof
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter N. (SRI International Shankar
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 30-01-1997
Første udgivelsesår 1997
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer 4 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 220
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 220 pages, 4 Line drawings, unspecified
Mål 192 x 234 x 14
ISBN-13 / EAN-13 9780521585330