Artículos relacionados a Introduction to Mathematical Logic, Fourth Edition...

Introduction to Mathematical Logic, Fourth Edition (Discrete Mathematics and Its Applications) - Tapa dura

 
9780412808302: Introduction to Mathematical Logic, Fourth Edition (Discrete Mathematics and Its Applications)

Sinopsis

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.
Introduction to Mathematical Logic includes:

  • propositional logic
  • first-order logic
  • first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski
  • axiomatic set theory
  • theory of computability
    The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.
  • "Sinopsis" puede pertenecer a otra edición de este libro.

    Críticas

    "Nearly forty years after it was published (1964), Elliot Mendelson's Introduction to Mathematical Logic still remains the best textbook on the principle topics of this subjectI have used Mendelson's book to teach a one-semester course to advanced undergraduate and graduate students with great success." - Alan Berger "In my work as a math teacher, researcher, author and journal editor, I often encounter problems with a logical component. When that need arises, my first choice of reference is always this book. It is the most concise and readable introductory text I have ever encountered and it is a rare occasion when I fail to find the background material needed to solve the problem. It is also an excellent source of problems and I have pulled the ideas for many test questions from it over the years." -Charles Ashbacher "I was sufficiently fortunate to have taken Professor Emeritus Mendelson's famous logic course at Queens College, the City University of New York, just two semesters before his retirement. I was, and continue to be, astonished by Dr. Mendelson's precise yet easy style, and the beautifully efficient organization of the subjects. Everything from the expository prose to the system of notational conventions has been carefully thought through so as to make the book both very substantive and very readable. In my opinion, it's the best introduction to serious mathematical logic currently on the market, and thanks to the genius of its author, it is likely to remain so for a long time. The buyer will not be disappointed." -Joseph Jay Stern

    Reseña del editor

    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.
    Introduction to Mathematical Logic includes:

  • propositional logic
  • first-order logic
  • first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski
  • axiomatic set theory
  • theory of computability
    The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.
  • "Sobre este título" puede pertenecer a otra edición de este libro.

    • EditorialChapman and Hall/CRC
    • Año de publicación1997
    • ISBN 10 0412808307
    • ISBN 13 9780412808302
    • EncuadernaciónTapa dura
    • IdiomaInglés
    • Número de edición4
    • Número de páginas440
    • Contacto del fabricanteno disponible

    Comprar usado

    Condición: Como Nuevo
    Ver este artículo

    EUR 15,00 gastos de envío desde Suiza a España

    Destinos, gastos y plazos de envío

    Comprar nuevo

    Ver este artículo

    EUR 25,97 gastos de envío desde Estados Unidos de America a España

    Destinos, gastos y plazos de envío

    Resultados de la búsqueda para Introduction to Mathematical Logic, Fourth Edition...

    Imagen de archivo

    E. Mendelson
    Publicado por Springer, 1997
    ISBN 10: 0412808307 ISBN 13: 9780412808302
    Antiguo o usado Tapa dura

    Librería: online-buch-de, Dozwil, Suiza

    Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

    Condición: gebraucht; wie neu. Nº de ref. del artículo: 88-3-22

    Contactar al vendedor

    Comprar usado

    EUR 52,70
    Convertir moneda
    Gastos de envío: EUR 15,00
    De Suiza a España
    Destinos, gastos y plazos de envío

    Cantidad disponible: 1 disponibles

    Añadir al carrito

    Imagen del vendedor

    E. Mendelson
    Publicado por Springer, 1997
    ISBN 10: 0412808307 ISBN 13: 9780412808302
    Antiguo o usado Tapa dura

    Librería: ZBK Books, Carlstadt, NJ, Estados Unidos de America

    Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

    Condición: acceptable. Used book - May contain writing, notes, highlighting, bends or folds. Text is readable, book is clean, and pages and cover mostly intact. May show normal wear and tear. Item may be missing CD. May include library marks. Fast Shipping. Nº de ref. del artículo: ZWM.5FY0

    Contactar al vendedor

    Comprar usado

    EUR 13,43
    Convertir moneda
    Gastos de envío: EUR 67,52
    De Estados Unidos de America a España
    Destinos, gastos y plazos de envío

    Cantidad disponible: 1 disponibles

    Añadir al carrito

    Imagen de archivo

    E. Mendelson
    Publicado por Springer, 1997
    ISBN 10: 0412808307 ISBN 13: 9780412808302
    Antiguo o usado Tapa dura

    Librería: Books-R-Keen, DuBois, PA, Estados Unidos de America

    Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

    hardcover. Condición: Good. Used items may contain, highlighting, writing, and other previous signs of use. Used items may not contain CD's. access codes and other accompanying items when applicable. Nº de ref. del artículo: 33A42226

    Contactar al vendedor

    Comprar usado

    EUR 41,41
    Convertir moneda
    Gastos de envío: EUR 59,73
    De Estados Unidos de America a España
    Destinos, gastos y plazos de envío

    Cantidad disponible: 1 disponibles

    Añadir al carrito

    Imagen de archivo

    Mendelson, E.
    Publicado por Springer, 1997
    ISBN 10: 0412808307 ISBN 13: 9780412808302
    Antiguo o usado Tapa dura

    Librería: HPB-Red, Dallas, TX, Estados Unidos de America

    Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

    Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_415606405

    Contactar al vendedor

    Comprar usado

    EUR 39,58
    Convertir moneda
    Gastos de envío: EUR 93,49
    De Estados Unidos de America a España
    Destinos, gastos y plazos de envío

    Cantidad disponible: 1 disponibles

    Añadir al carrito

    Imagen de archivo

    E. Mendelson
    Publicado por Springer, 1997
    ISBN 10: 0412808307 ISBN 13: 9780412808302
    Nuevo Tapa dura

    Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America

    Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

    Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0412808307

    Contactar al vendedor

    Comprar nuevo

    EUR 227,52
    Convertir moneda
    Gastos de envío: EUR 25,97
    De Estados Unidos de America a España
    Destinos, gastos y plazos de envío

    Cantidad disponible: 1 disponibles

    Añadir al carrito