Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Metamathematics, Machines and Godel's Proof
- Bindende:
- Paperback
- Sider:
- 220
- Utgitt:
- 30. januar 1997
- Dimensjoner:
- 234x192x14 mm.
- Vekt:
- 422 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 20. januar 2025
Beskrivelse av Metamathematics, Machines and Godel's Proof
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Brukervurderinger av Metamathematics, Machines and Godel's Proof
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Metamathematics, Machines and Godel's Proof finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
