Search Results - lamedh~

Refine Results
  1. 1021
  2. 1022
  3. 1023
  4. 1024
  5. 1025
  6. 1026
  7. 1027
  8. 1028
  9. 1029
  10. 1030
  11. 1031
  12. 1032

    Open Logic Project by Zach, Richard, Arana, Andrew, Avigad, Jeremy, Dean, Walter, Russell, Gillian, Wyatt, Nicole, Yap, Audrey

    Published 2016
    Table of Contents: “…I Naıve Set Theory -- II Propositional Logic -- III First-order Logic -- IV Model Theory -- V Computability -- VI Turing Machines -- VII Incompleteness -- VIII Second-order Logic -- IX The Lambda Calculus -- X Many-valued Logic -- XI Normal Modal Logics -- XII Intuitionistic Logic -- XIII Counterfactuals -- XIV Set Theory -- XV Methods -- XVI History…”
    Access online version
    Electronic eBook
  13. 1033
  14. 1034
  15. 1035
  16. 1036
  17. 1037
  18. 1038
  19. 1039
  20. 1040