Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Тема в разделе "Иностранная литература", создана пользователем Bazinga, 17 дек 2014.

  1. Bazinga

    Bazinga Константин

    Hunter Geoffrey
    Metalogic: An Introduction to the Metatheory of Standard First Order Logic

    [​IMG]

    Издательство: California UP
    Жанр: California UP

    Качество: Хорошее
    Страниц: 302
    Формат: pdf, fb2, epub

    This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.
     

    Вложения:

    • metalogic.pdf
      Размер файла:
      3 708 КБ
      Просмотров:
      6
    • metalogic.fb2
      Размер файла:
      1 624 КБ
      Просмотров:
      56
    • metalogic.epub
      Размер файла:
      718 КБ
      Просмотров:
      28

Поделиться этой страницей