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

Valutazione media 4,15
( su 20 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.

I migliori risultati di ricerca su AbeBooks

1.

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.. 203 x 140 mm. 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 AAZ9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: 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 US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro University of California Press, United States, 1973. Paperback. Condizione libro: New. Revised ed.. 203 x 140 mm. 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 AAZ9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,67
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
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 22,85
Convertire valuta

Aggiungere al carrello

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

4.

Hunter, Geoffrey
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: 1
Da
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Bookseller Inventory # ST0520023560. Codice libro della libreria ST0520023560

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,56
Convertire valuta

Aggiungere al carrello

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

5.

Geoffrey Hunter
Editore: University of California Press 1973-06-26, Berkerley (1973)
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 1973-06-26, Berkerley, 1973. paperback. Condizione libro: New. Codice libro della libreria 9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,36
Convertire valuta

Aggiungere al carrello

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

6.

Hunter
Editore: University of California Press (1992)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: 14
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 20,72
Convertire valuta

Aggiungere al carrello

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

7.

Hunter, Geoffrey
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Quantità: 1
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 32,13
Convertire valuta

Aggiungere al carrello

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

8.

Hunter, Geoffrey
Editore: University of California Press (1996)
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Brossura Quantità: 1
Valutazione libreria
[?]

Descrizione libro University of California Press, 1996. Condizione libro: 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. Paperback. . . . . . Codice libro della libreria V9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,26
Convertire valuta

Aggiungere al carrello

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

9.

Geoffrey Hunter
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Paperback Quantità: 1
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Not Signed; 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 logi. book. Codice libro della libreria ria9780520023567_rkm

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,54
Convertire valuta

Aggiungere al carrello

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

10.

Hunter, Geoffrey
Editore: University of California Press
ISBN 10: 0520023560 ISBN 13: 9780520023567
Nuovi Brossura Quantità: 1
Da
Kennys Bookstore
(Olney, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro University of California Press. Condizione libro: 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. Paperback. . . . . Books ship from the US and Ireland. Codice libro della libreria V9780520023567

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,05
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro