Articoli correlati a An Introduction to Mathematical Logic
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 Gödel, 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.
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 Gödel, 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione:
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.
Contenuti:
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.
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.
- EditoreDover Pubns
- Data di pubblicazione2013
- ISBN 10 0486497852
- ISBN 13 9780486497853
- RilegaturaCopertina flessibile
- Numero di pagine491
- Valutazione libreria
Compra nuovo
Scopri di più su questo articolo
EUR 19,05
Spese di spedizione:
EUR 3,74
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_0486497852
Compra nuovo
EUR 19,05
Convertire valuta
Foto dell'editore
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books!. Codice articolo OTF-S-9780486497853
Compra nuovo
EUR 19,10
Convertire valuta
Immagini fornite dal venditore
An Introduction to Mathematical Logic (Paperback or Softback)
Editore:
Dover Publications 2/20/2013
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Paperback or Softback
Quantità: 5
Da:
Valutazione libreria
Descrizione libro Paperback or Softback. Condizione: New. An Introduction to Mathematical Logic 1.4. Book. Codice articolo BBS-9780486497853
Compra nuovo
EUR 22,94
Convertire valuta
Foto dell'editore
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Brossura
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: new. Codice articolo newMercantile_0486497852
Compra nuovo
EUR 20,16
Convertire valuta
Immagini fornite dal venditore
Introduction to Mathematical Logic
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Brossura
Quantità: 5
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 18777528-n
Compra nuovo
EUR 21,64
Convertire valuta
Foto dell'editore
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: new. Buy for Great customer experience. Codice articolo GoldenDragon0486497852
Compra nuovo
EUR 21,66
Convertire valuta
Foto dell'editore
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo I-9780486497853
Compra nuovo
EUR 25,99
Convertire valuta
Foto dell'editore
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Editore:
Dover Publications
(2024)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Paperback
Quantità: 20
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: New. Brand New! This item is printed on demand. Codice articolo 0486497852
Compra nuovo
EUR 27,61
Convertire valuta
Immagini fornite dal venditore
An Introduction to Mathematical Logic (Dover Books on Mathematics) by Hodel, Richard E. [Paperback ]
Editore:
Dover Publications
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Soft Cover
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9780486497853
Compra nuovo
EUR 27,70
Convertire valuta
Foto dell'editore
Introduction to Mathematical Logic (Paperback)
Editore:
Dover Publications Inc., New York
(2013)
ISBN 10: 0486497852
ISBN 13: 9780486497853
Nuovo
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: new. Paperback. 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. Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780486497853
Compra nuovo
EUR 28,78
Convertire valuta