Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
    978-3-030-73839-6
    2021
    Edition 3
    • Explores additional important decidability results in this thoroughly updated new edition
    • Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics
    • Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science
    • Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.