Introduction To Mathematical Logic (pms-13), Volume 13

Thảo luận trong 'Kinh nghiệm kinh doanh' bởi nealavoie, 15/11/2023.

  1. nealavoie

    nealavoie Thành viên chính thức

    Tham gia:
    25/10/2023
    Bài viết:
    211
    Đã được thích:
    0
    Điểm thành tích:
    16
    Introduction to Mathematical Logic (PMS-13), Volume 13
    By: Alonzo Church
    Publisher:
    Princeton University Press
    Print ISBN: 9780691079844, 0691079846
    eText ISBN: 9781400881451, 1400881455
    Copyright year: 1991
    Format: PDF
    Available from $ 90.00 USD
    SKU: 9781400881451 Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.
    Additional ISBNs
    9780691029061, 0691029067 SKU: 9780691079844
    Ebooks here: https://ebookscoffee.sellpass.io/products/Introduction-to-Mathematical-Logic-PMS-Volume-
     

    Xem thêm các chủ đề tạo bởi nealavoie
    Đang tải...


Chia sẻ trang này