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

Valutazione media 4,17
( su 24 valutazioni fornite da Goodreads )
 
9780520023567: Metalogic: An Introduction to the Metatheory of Standard First Order Logic

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.

Review:

"A remarkable book, in a class by itself among logic books. It has the ideal combination of readability, thoroughness, and preciseness. . . . Recommended not only as a first course text, but also as painless, indeed pleasurable reading."--"Computing Reviews

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Geoffrey Hunter
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: 2
Da
Books-FYI, Inc.
(cadiz, KY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Codice libro della libreria 23MA3600ZFLI

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

2.

Geoffrey Hunter
Editore: University of California Press, United States (1973)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press, United States, 1973. Paperback. Condizione libro: New. Revised ed.. Language: English . Brand New Book. 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. Codice libro della libreria AAH9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Geoffrey Hunter
Editore: University of California Press, United States (1973)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press, United States, 1973. Paperback. Condizione libro: New. Revised ed.. Language: English . Brand New Book. 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. Codice libro della libreria AAH9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,68
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Geoffrey Hunter
Editore: University of California Press 1992-07-01, Berkeley, Calif. |London (1992)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi paperback Quantità: 10
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press 1992-07-01, Berkeley, Calif. |London, 1992. paperback. Condizione libro: New. Codice libro della libreria 9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,43
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Hunter
Editore: University of California Press (1992)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: 5
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press, 1992. PAP. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria WF-9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 19,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,03
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Geoffrey Hunter
Editore: University of California Press
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Paperback Quantità: 1
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press. Paperback. Condizione libro: new. BRAND NEW, Metalogic: An Introduction to the Metatheory of Standard First Order Logic, Geoffrey Hunter, 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. Codice libro della libreria B9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,95
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,75
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Geoffrey Hunter
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: 2
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97805200235670000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,79
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

8.

Hunter
Editore: University of California Press (1992)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Brossura Quantità: 1
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press, 1992. Condizione libro: New. book. Codice libro della libreria ria9780520023567_rkm

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,31
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Geoffrey Hunter
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

Geoffrey Hunter
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Paperback Quantità: 1
Da
AMAZINGBOOKDEALS
(IRVING, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: BRAND NEW. BRAND NEW. Fast Shipping. Prompt Customer Service. Satisfaction guaranteed. Codice libro della libreria 0520023560BNA

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro