Εμφανίζονται 361 - 380 Αποτελέσματα από 1.395 για την αναζήτηση '"Λογική"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 361
    Elementary logic
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  2. 362
    Mathematical logic applications and theory
    ανά Rubin, Jean E.
    Έκδοση 1990
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  3. 363
    Logique, semantique, metamathematique 1923-1944
    ανά Tarski, Alfred
    Έκδοση 1972
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  4. 364
    A mathematical introduction to logic /
    ανά Enderton, Herbert B.
    Έκδοση 2001
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 365
    First-order logic and automated theorem proving /
    ανά Fitting, Melvin 1942-
    Έκδοση 1990
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  6. 366
    Η μαγεία των παραδόξων
    ανά Gardner, Martin, 1914-2010
    Έκδοση 1989
    Θέματα: “…Λογική 325…”
    Βιβλίο
  7. 367
    Proper and improper forcing
    ανά Shelah, Saharon
    Έκδοση 1998
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  8. 368
    Circles disturbed the interplay of mathematics and narrative
    Έκδοση 2012
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  9. 369
    Schaum's outline of theory and problems of logic
    Θέματα: “…Λογική Προβλήματα, ασκήσεις κλπ. 133661…”
    Βιβλίο
  10. 370
    Truth, etc. six lectures on ancient logic
    ανά Barnes, Jonathan, 1942-
    Έκδοση 2007
    Θέματα: “…Λογική 325…”
    Βιβλίο
  11. 371
    The lambda calculus : its syntax and semantics /
    ανά Barendregt, H. P. (Hendrik Pieter)
    Έκδοση 1984
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  12. 372
    Methods in mathematical logic : proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6 August, 1983 /
    Έκδοση 1985
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 373
    An accompaniment to higher mathematics /
    ανά Exner, George R.
    Έκδοση 1996
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  14. 374
    The foundations of intuitionistic mathematics : especially in relation to recursive functions /
    ανά Kleene, Stephen Cole, 1909-1994
    Έκδοση 1965
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  15. 375
    Nomological statements and admissible operations /
    ανά Reichenbach, Hans, 1891-1953
    Έκδοση 1954
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  16. 376
    Solvable cases of the decision problem /
    ανά Ackermann, W. (Wilhelm), 1896-
    Έκδοση 1954
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  17. 377
    Mathematical interpretation of formal systems /
    Έκδοση 1955
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  18. 378
    Ordinal algebras /
    ανά Tarski, Alfred
    Έκδοση 1956
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  19. 379
    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
    ανά Mostowski, Andrzej
    Έκδοση 1964
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  20. 380
    Mathematics the study of axiom systems
    ανά Witter, G. E.
    Έκδοση 1964
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email