Εμφανίζονται 481 - 500 Αποτελέσματα από 1.395 για την αναζήτηση '"Λογική"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 481
    Continuous lattices and domains
    ανά Gierz, G.
    Έκδοση 2003
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  2. 482
    Understanding arguments an introduction to informal logic
    ανά Fogelin, Robert J.
    Έκδοση 1982
    Θέματα: “…Λογική 325…”
    Βιβλίο
  3. 483
    How to read and do proofs an introduction to mathematical thought processes
    ανά Solow, Daniel
    Έκδοση 2002
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  4. 484
    Proofs and refutations the logic of mathematical discovery
    ανά Lakatos, Imre
    Έκδοση 1981
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 485
    Το άπειρο και ο νους
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  6. 486
    A formalization of set theory without variables
    ανά Tarski, Alfred
    Έκδοση 1987
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  7. 487
    The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
    ανά Gödel, Kurt
    Έκδοση 1940
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  8. 488
    Continuous lattices and their applications
    Έκδοση 1985
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  9. 489
    The strange logic of random graphs
    ανά Spencer, Joel H.
    Έκδοση 2001
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  10. 490
    Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
    ανά Keisler, H. Jerome
    Έκδοση 1971
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  11. 491
    Models of sharing graphs a categorical semantics of let and letrec
    ανά Hasegawa, Masahito
    Έκδοση 1999
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  12. 492
    Descriptive complexity /
    ανά Immerman, Neil, 1953-
    Έκδοση 1999
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 493
    Nonmonotonic logics basic concepts, results, and techniques
    ανά Schlechta, Karl
    Έκδοση 1997
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  14. 494
    Model-theoretic logics
    Έκδοση 1985
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  15. 495
    The logic of partial information
    ανά Nait Abdallah, Areski 1950-
    Έκδοση 1995
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  16. 496
    Ockham algebras
    ανά Blyth, T. S. (Thomas Scott)
    Έκδοση 1994
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  17. 497
    Contributions to non-standard analysis /
    Έκδοση 1972
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  18. 498
    Tool and object a history and philosophy of category theory
    ανά Kromer, Ralf
    Έκδοση 2007
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  19. 499
    Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας
    ανά Τσιμά, Αλεξάνδρα
    Έκδοση 2006
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  20. 500
    Change, choice and inference a study of belief revision and nonmonotonic reasoning
    Έκδοση 2001
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email