METALOGIC by Geoffrey Hunter ( 9780520023567 ) - Books & Audio Books at Pickabook.co.uk

Item Details

Title:

METALOGIC
AN INTRODUCTION TO THE METATHEORY OF STANDARD FIRST ORDER LOGIC

By:

Geoffrey Hunter

Format:

Paperback

List price:

£29.00

Our price:

£23.20

Discount:

20% off

You save:

£5.80

ISBN 10:

0520023560

ISBN 13:

9780520023567

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

UNIVERSITY OF CALIFORNIA PRESS

Pub. date:

26 June, 1973

Pages:

302

Description:

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.

Synopsis:

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.

Illustrations:

Ill.

Publication:

Imprint:

University of California Press

Returns:

Returnable

Some other items by this author:

A TANG OF TREACLE (PB)

ARCHBISHOP HOLGATE'S SCHOOL (PB)

CAUSALITY AND LOCALITY IN MODERN PHYSICS (HB)

GRAVITATION AND COSMOLOGY (HB)