Εμφανίζονται 1 - 20 Αποτελέσματα από 375 για την αναζήτηση '"Λογική, Συμβολική και μαθηματική"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Theory of relations /
    ανά Fraisse, Roland
    Έκδοση 2000
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  2. 2
    Automata theory and its applications
    ανά Khoussainov, Bakhadyr 1961-
    Έκδοση 2001
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  3. 3
    Μαθηματική λογική
    ανά Μητακίδης, Γιώργος
    Έκδοση 1980
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  4. 4
    Introduction to mathematical logic. Vol. 1
    ανά Church, Alonzo
    Έκδοση 1956
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 5
    From Frege to Godel a source book in mathematical logic, 1879-1931
    ανά Van Heijenoort, Jean, 1912-1986
    Έκδοση 1967
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  6. 6
    Mathematical logic
    ανά Kleene, Stephen Cole, 1909-1994
    Έκδοση 1967
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  7. 7
    Essentials of symbolic logic
    ανά Simpson, Robert L.
    Έκδοση 1988
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  8. 8
    Στοιχεία μαθηματικής λογικής
    ανά Τζουβάρας, Αθανάσιος
    Έκδοση 1992
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  9. 9
    Cut elimination in categories
    ανά Dosen, Kosta
    Έκδοση 1999
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  10. 10
    Lattices over orders /
    ανά Roggenkamp, Klaus W.
    Έκδοση 1970
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  11. 11
    Categorical logic and type theory /
    ανά Jacobs, Bart
    Έκδοση 1999
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  12. 12
    Recursion-theoretic hierarchies /
    ανά Hinman, Peter G.
    Έκδοση 1978
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 13
    Einführung in die Verbandstheorie /
    ανά Hermes, Hans
    Έκδοση 1967
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  14. 14
    Mathematical logic /
    ανά Ebbinghaus, Heinz-Dieter, 1939-
    Έκδοση 1994
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  15. 15
    Interpolation and aproximation
    ανά Davis, Philip J.
    Έκδοση 1963
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  16. 16
    Logic and structure /
    ανά Dalen, D. van (Dirk), 1932-
    Έκδοση 2004
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  17. 17
    First-order modal logic
    ανά Fitting, Melvin 1942-
    Έκδοση 1998
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  18. 18
    Handbook of mathematical logic /
    Έκδοση 1977
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  19. 19
    Normalization, cut-elimination, and the theory of proofs /
    ανά Ungar, A. M. (Anthony M.), 1945-
    Έκδοση 1992
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  20. 20
    Algebraic complexity theory /
    ανά Bürgisser, Peter, 1962-
    Έκδοση 1997
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email