Search Results - "model theory"

  1. 21
  2. 22
  3. 23
  4. 24
  5. 25
  6. 26

    Hydro-Ecological Modeling

    Published 2016
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  7. 27
  8. 28
  9. 29
  10. 30
  11. 31
  12. 32
  13. 33
  14. 34
  15. 35

    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
  16. 36
  17. 37
  18. 38
  19. 39
  20. 40