Εμφανίζονται 341 - 360 Αποτελέσματα από 1.395 για την αναζήτηση '"Λογική"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 341
    Algebra of proofs /
    ανά Szabo, M. E.
    Έκδοση 1978
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  2. 342
    Mathematical interpretation of formal systems /
    Έκδοση 1971
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  3. 343
    Solvable cases of the decision problem /
    ανά Ackermann, W. (Wilhelm), 1896-
    Έκδοση 1954
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  4. 344
    Foundations of the logical theory of scientific knowledge (complex logic) /
    ανά Zinoviev, Aleksandr, 1922-2006
    Έκδοση 1973
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 345
    Free choice Petri Nets
    ανά Desel, Jorg, Esparza, Javier
    Έκδοση 1995
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  6. 346
    Handbook of mathematical logic /
    Έκδοση 1977
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  7. 347
    Normalization, cut-elimination, and the theory of proofs /
    ανά Ungar, A. M. (Anthony M.), 1945-
    Έκδοση 1992
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  8. 348
    Algebraic complexity theory /
    ανά Bürgisser, Peter, 1962-
    Έκδοση 1997
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  9. 349
    The lambda calculus : its syntax and semantics /
    ανά Barendregt, H. P. (Hendrik Pieter)
    Έκδοση 1984
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  10. 350
    Pragmatics, truth, and language /
    ανά Martin, R. M. 1916- (Richard Milton)
    Έκδοση 1979
    Θέματα: “…Λογική 325…”
    Βιβλίο
  11. 351
    Mathematische Gesetze der Logik /
    ανά Schmidt, H. Arnold, 1902-
    Έκδοση 1960
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  12. 352
    An algebraic introduction to mathematical logic /
    ανά Barnes, D. W. (Donald W.), 1935-
    Έκδοση 1975
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 353
    Many-valued logics
    ανά Bolc, Leonard
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  14. 354
    Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
    Έκδοση 1982
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  15. 355
    Grundzüge der mathematischen Logik /
    ανά Scholz, Heinrich, 1884-1956
    Έκδοση 1961
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  16. 356
    Computability, complexity, logic /
    ανά Börger, E. 1946- (Egon)
    Έκδοση 1989
    Θέματα: “…472 Λογική, Συμβολική και μαθηματική…”
    Βιβλίο
  17. 357
    Introduction to elementary mathematical logic /
    ανά Stoli︠a︡r, A. A. (Abram Aronovich)
    Έκδοση 1984
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  18. 358
    An introduction to symbolic logic /
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  19. 359
    Στοιχεία μαθηματικής λογικής /
    ανά Τζουβάρας, Αθανάσιος
    Έκδοση 1998
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  20. 360
    The tools of mathematical reasoning /
    ανά Lakins, Tamara J., 1963-
    Έκδοση 2016
    Θέματα: “…472 Λογική, Συμβολική και μαθηματική…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email