Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Bøger - University of California Press - 9780520023567 - 26. juni 1973
Ved uoverensstemmelse mellem cover og titel gælder titel

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Geoffrey Hunter

Pris
zł 220,90

Bestilles fra fjernlager

Forventes klar til forsendelse 3. - 10. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

302 pages, Ill.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 26. juni 1973
ISBN13 9780520023567
Forlag University of California Press
Antal sider 302
Mål 209 × 136 × 18 mm   ·   400 g
Sprog Engelsk  
Vis alle

Mere med Geoffrey Hunter

Se alt med Geoffrey Hunter ( f.eks. Paperback Bog og Hardcover bog )