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

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

Pris
DKK 382

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 9. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

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

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  

Mere med Geoffrey Hunter

Vis alle

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