Εμφανίζονται 61 - 80 Αποτελέσματα από 261 για την αναζήτηση '', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 61
    Enumerability, decidability, computability : an introduction to the theory of recursive functions /
    ανά Hermes, Hans
    Έκδοση 1969
    Βιβλίο
  2. 62
    The equations : icons of knowledge /
    ανά Bais, Sander
    Έκδοση 2005
    Βιβλίο
  3. 63
    Essays in memory of Imre Lakatos /
    Έκδοση 1976
    Βιβλίο
  4. 64
    Essentials of symbolic logic
    ανά Simpson, Robert L.
    Έκδοση 1988
    Βιβλίο
  5. 65
    Extensional constructs in intensional type theory
    ανά Hofmann, Martin
    Έκδοση 1997
    Βιβλίο
  6. 66
    Extensional Gödel functional interpretation : a consistency proof of classical analysis /
    ανά Luckhardt, Horst
    Έκδοση 1973
    Βιβλίο
  7. 67
    Finite model theory and its applications
    Βιβλίο
  8. 68
    First-order logic /
    ανά Smullyan, Raymond M.
    Έκδοση 1968
    Βιβλίο
  9. 69
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1990
    Βιβλίο
  10. 70
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1996
    Βιβλίο
  11. 71
    First-order modal logic
    ανά Fitting, Melvin 1942-
    Έκδοση 1998
    Βιβλίο
  12. 72
    Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
    ανά Beth, Evert Willem
    Έκδοση 1962
    Βιβλίο
  13. 73
    Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /
    Έκδοση 1965
    Πρακτικό Συνεδρίου Βιβλίο
  14. 74
    Foundations of abstract mathematics
    ανά Kurtz, David C.
    Έκδοση 1992
    Βιβλίο
  15. 75
    The foundations of intuitionistic mathematics : especially in relation to recursive functions /
    ανά Kleene, Stephen Cole, 1909-1994
    Έκδοση 1965
    Βιβλίο
  16. 76
    Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Godel
    Έκδοση 1969
    Βιβλίο
  17. 77
    Foundations of the logical theory of scientific knowledge (complex logic) /
    ανά Zinoviev, Aleksandr, 1922-2006
    Έκδοση 1973
    Βιβλίο
  18. 78
    Four colours suffice how the map problem was solved
    ανά Wilson, Robin J.
    Έκδοση 2002
    Βιβλίο
  19. 79
    From Frege to Godel a source book in mathematical logic, 1879-1931
    ανά Van Heijenoort, Jean, 1912-1986
    Έκδοση 1967
    Βιβλίο
  20. 80
    From here to infinity
    ανά Stewart, Ian, 1945-
    Έκδοση 1996
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email