Isbn: 9780520023567 - metalogic. an introduction to the metatheory of standard first order logic. (8 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Very Good-. Card cover age-toned, slight chipping at edges, small stain at fore-edge of front-panel, creased down spine and at rear fore-corners, adhesive residue from prior label at head of rear panel, a touch rubbed; Pages minimally spotted on edges, prior price stamped on ffep, degraded glue visible at front and rear joints, no annotation; Binding tight. ; 5.25 x 8.5"; 288 pages.…

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. 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. Num Pages: 302 pages, Ill. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 136 x 209 x 18. Weight in Grams: 354. An Introduction to the Metatheory of Standard First Order Logic. 302 pages, Ill. 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. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 136 x 209 x 18. Weight: 338. . 1996. New Ed. Paperback. . . . . Books ship from the US and Ireland.…

Zustand: New. In English.

Paperback. Zustand: Brand New. 302 pages. 8.50x5.75x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware - This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.…

Zustand: New. 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 t.