Inicio > Sociedad y ciencias sociales > Educación pedagogía > A Friendly Introduction to Mathematical Logic
A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

Christopher C. Leary / Christopher CLeary / Lars Kristiansen

39,19 €
IVA incluido
Disponible
Editorial:
Lulu Press
Año de edición:
2019
Materia
Educación pedagogía
ISBN:
9781942341079
39,19 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary’s user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition’s treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel’s First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises.

Artículos relacionados

  • Beekeeping At The End Of The Earth
    Mark David Leech
    Beekeeping at the End of the Earth, an essential read for learning about beekeeping in a cool temperate climate with a focus on Tasmania our island home.  One hundred beekeepers one hundred different ways to keep bees.Beekeeping At The End Of The Earth is a practical insight into cool climate beekeeping with a focus on Tasmania, our island home.Richly illustrated with unique di...
    Disponible

    45,16 €

  • Be the One for Kids
    Ryan Sheehy
    One person can make a difference.That person can be you. “I want to show others that one person can make the difference in a child’s life. I want all educators, parents, coaches, and everyone in between to know they have power to Be the One for Kids.” —Ryan Sheehy If you ever feel like you’re all alone or think that no one gets you, just imagine how your students feel. Kids wan...
    Disponible

    27,99 €

  • Handbook of Research on E-Learning Standards and Interoperability
    As the e-learning industry continues to expand and the methods and tools necessary to create and maintain content and infrastructure applications become more complicated, there is an inherent need for these applications to interoperate and exchange data in order to better support the needs of learners and educators. Handbook of Research on E-Learning Standards and Interoperabil...
  • Teaching in the Knowledge Society
    Antonio Cartelli
    ...
  • Enhancing Learning Through Human Computer Interaction
    Elspeth McKay
    ...
  • Learning Objects for Instruction
    Pamela Taylor Northrup
    ...