Copilot
你的日常 AI 助手
约 172,000 个结果
  1. Springer
    https://link.springer.com/book/10.1007/9…

    Mathematical Logic - SpringerLink

    网页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 …

  2. Amazon
    https://www.amazon.com/Mathematical-Logic...

    Mathematical Logic, 2nd Edition (Undergraduate Texts in …

  3. Amazon
    https://www.amazon.com/Mathematica…

    Mathematical Logic (Graduate Texts in Mathematics, 291)

    网页2021年5月29日 · Mathematical Logic (Graduate Texts in Mathematics, 291) 3rd ed. 2021 Edition. by Heinz-Dieter Ebbinghaus (Author), Jörg Flum (Author), Wolfgang Thomas (Author) 5.0 5 ratings. Part of: Graduate …

  4. The MIT Press Bookstore
    https://mitpressbookstore.mit.edu/book/9…

    Mathematical Logic (Graduate Texts in Mathematics …

    网页2022年5月30日 · Mathematical Logic (Graduate Texts in Mathematics #291) Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. $49.99. This product is not returnable. Publication Date: May 30th, 2022. …

  5. Amazon
    https://www.amazon.com/Mathematical-Logic-Graduate...

    Mathematical Logic (Graduate Texts in Mathematics)

  6. Archive
    https://archive.org/details/mathematicall…

    Mathematical logic : Ebbinghaus, Heinz-Dieter, 1939- : …

    网页2019年9月1日 · Logic, Symbolic and mathematical Publisher New York : Springer Collection internetarchivebooks; inlibrary; printdisabled Contributor Internet Archive Language English Volume 1996 Item Size 832.5M

  7. 其他用户还问了以下问题
    When was mathematical logic first published?
    Mathematical Logic by H.-D. Ebbinghaus, J. Flum and W. Thomas (Springer, 3rd edition 2021, pp. 304) was first published in German in 1978. A second edition appeared in English in 1994, in a series ‘Undergraduate Texts in Mathematics’.

    Ebbinghaus, Flum, and Thomas: Mathematical Logic

    logicmatters.net
    Who is Heinz-Dieter Ebbinghaus?
    Heinz-Dieter Ebbinghaus is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His work spans fields in logic, such as model theory and set theory, and includes historical aspects. Jörg Flum is Professor Emeritus at the Mathematical Institute of the University of Freiburg.

    Mathematical Logic | SpringerLink

    link.springer.com
    Is mathematical logic a good book?
    Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites.

    Mathematical Logic | SpringerLink

    link.springer.com
    What is new in mathematical logic?
    This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function. Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics.

    Mathematical Logic | SpringerLink

    link.springer.com
    反馈
  8. Google Books
    https://books.google.com/books/about/Mathematical...

    Mathematical Logic - H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas ...

  9. Google Books
    https://books.google.com/books/about/Mathematical...

    Mathematical Logic - Heinz-Dieter Ebbinghaus, Jörg Flum, …

  10. Google Books
    https://books.google.com/books/about/Mathematical...

    Mathematical Logic - H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas ...

  11. Logic Matters
    https://www.logicmatters.net/tyl/booknot…

    Ebbinghaus, Flum, and Thomas: Mathematical Logic

    网页Mathematical Logic by H.-D. Ebbinghaus, J. Flum and W. Thomas (Springer, 3rd edition 2021, pp. 304) was first published in German in 1978. A second edition appeared in English in 1994, in a series ‘Undergraduate …