An Introduction to Mathematical Logic

Valutazione media 4,2
( su 5 valutazioni fornite da GoodReads )
 
9780486497853: An Introduction to Mathematical Logic

This comprehensive overview of mathematical logic is designed primarily for advanced undergraduates and graduate students of mathematics. The treatment also contains much of interest to advanced students in computer science and philosophy. Topics include propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert’s Tenth Problem. Reprint of the PWS Publishing Company, Boston, 1995 edition.

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

Contenuti:

Preface 1. Background 2. Language and Semantics of Propositional Logic 3. Propositional Logic 4. First-Order Languages 5. First-Order Logic 6. Mathematics and Logic 7. Incompleteness, Undecidability and Indefinability 8. Recursive Functions 9. Compatability Theory 10. Hilbert's Tenth Problem Appendix: Number Theory References and recommended readings Index

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

I migliori risultati di ricerca su AbeBooks

1.

Richard E. Hodel
Editore: Dover Publications Inc., United States (2013)
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: New. Reprint. 234 x 155 mm. Language: English . Brand New Book. Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy. An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Godel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert s Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory. Codice libro della libreria AA99780486497853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,92
Convertire valuta

Aggiungere al carrello

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

2.

Richard E. Hodel
Editore: Dover Publications Inc., United States (2013)
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: New. Reprint. 234 x 155 mm. Language: English . Brand New Book. Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy. An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Godel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert s Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory. Codice libro della libreria AA99780486497853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 19,10
Convertire valuta

Aggiungere al carrello

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

3.

Hodel, Richard E
Editore: Dover Publishers
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486497852

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,13
Convertire valuta

Aggiungere al carrello

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

4.

Richard E. Hodel
Editore: Dover Publications Inc. (2013)
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Quantità: > 20
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., 2013. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780486497853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 17,66
Convertire valuta

Aggiungere al carrello

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

5.

Hodel, Richard E.
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Paperback Quantità: > 20
Da
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Codice libro della libreria 6173919

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,02
Convertire valuta

Aggiungere al carrello

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

6.

Richard E. Hodel
Editore: Dover Publications Inc.
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Paperback Quantità: > 20
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc. Paperback. Condizione libro: new. BRAND NEW, Introduction to Mathematical Logic, Richard E. Hodel. Codice libro della libreria B9780486497853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,97
Convertire valuta

Aggiungere al carrello

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

7.

Hodel
Editore: Dover Publications Inc. (2013)
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Brossura Quantità: 5
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., 2013. Condizione libro: New. Series: Dover Books on Mathematics. Num Pages: 512 pages, black & white illustrations. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 236 x 156 x 25. Weight in Grams: 644. . 2013. Reprint. Paperback. . . . . . Codice libro della libreria V9780486497853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,18
Convertire valuta

Aggiungere al carrello

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

8.

Hodel, Richard E.
Editore: Dover Publications (2013)
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Paperback Quantità: 20
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2013. Paperback. Condizione libro: New. Codice libro della libreria 0486497852

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 20,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,78
In U.S.A.
Destinazione, tempi e costi

9.

Richard E. Hodel
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi Paperback Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2013. Paperback. Condizione libro: New. 150mm x 28mm x 226mm. Paperback. This comprehensive overview of mathematical logic is designed primarily for advanced undergraduates and graduate students of mathematics. The treatment also contains much of interest to ad.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 491 pages. 0.635. Codice libro della libreria 9780486497853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,97
Convertire valuta

Aggiungere al carrello

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

10.

Hodel, Richard E.
Editore: Dover Publications
ISBN 10: 0486497852 ISBN 13: 9780486497853
Nuovi PAPERBACK Quantità: > 20
Da
Movie Mars
(Matthews, NC, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486497852 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Codice libro della libreria 16174306

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 20,48
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro