Rezultati pretrage - "model theory"

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

    Cognizione logica e modelli mentali od Alberto Binazzi

    Izdano 2012
    Connect to this object online.
    Knjiga
  6. 26

    Hydro-Ecological Modeling

    Izdano 2016
    DOAB: download the publication
    DOAB: description of the publication
    Elektronički Poglavlje knjige
  7. 27
  8. 28
  9. 29
  10. 30
  11. 31
  12. 32
  13. 33
  14. 34
  15. 35

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

    Izdano 2016
    Sadržaj: “…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
    Elektronički e-knjiga
  16. 36
  17. 37
  18. 38
  19. 39
  20. 40