Proof in Alonzo Church's and Alan Turing's Mathematical Logic
Undecidability of First-Order Logic
Inbunden, Engelska, 2012
Av Jonathan O. Chimakonam (Ph.D), Jonathan O. Chimakonam (Ph D), Jonathan O Chimakonam (Ph D)
299 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
Produktinformation
- Utgivningsdatum2012-11-07
- Mått152 x 229 x 12 mm
- Vikt402 g
- FormatInbunden
- SpråkEngelska
- Antal sidor166
- FörlagAuthorHouse
- ISBN9781477286692