Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Bøker - University of California Press - 9780520023567 - 26. juni 1973
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Geoffrey Hunter

Pris
Kč 1.026

Bestillingsvarer

Forventes levert 4. - 15. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 26. juni 1973
ISBN13 9780520023567
Utgivere University of California Press
Antall sider 302
Mål 209 × 136 × 18 mm   ·   400 g
Språk Engelsk  
Vis alle

Mer med Geoffrey Hunter

Se alt med Geoffrey Hunter ( f.eks. Pocketbok og Innbunden bok )