Εμφανίζονται 481 - 500 Αποτελέσματα από 1.399 για την αναζήτηση '"λογική"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 481
    Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
    ανά Keisler, H. Jerome
    Έκδοση 1971
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  2. 482
    Tool and object a history and philosophy of category theory
    ανά Kromer, Ralf
    Έκδοση 2007
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  3. 483
    Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας
    ανά Τσιμά, Αλεξάνδρα
    Έκδοση 2006
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  4. 484
    Change, choice and inference a study of belief revision and nonmonotonic reasoning
    Έκδοση 2001
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 485
    Introduction to Logic and to the methology of deductive sciences
    ανά Tarski, Alfred
    Έκδοση 1965
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  6. 486
    Εισαγωγή στην υπολογιστική
    ανά Τουρλάκης, Γιώργος
    Έκδοση 1994
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  7. 487
    Language, logic, and method /
    Έκδοση 1983
    Θέματα: “…Λογική 325…”
    Βιβλίο
  8. 488
    Logical physics /
    ανά Zinoviev, Aleksandr, 1922-2006
    Έκδοση 1983
    Θέματα: “…Λογική 325…”
    Βιβλίο
  9. 489
    Computability and logic /
    ανά Boolos, George S.
    Έκδοση 1989
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  10. 490
    Mathematical logic and its applications /
    Έκδοση 1987
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  11. 491
    The spine of software A mathematical introduction to the semantics of computer programs
    ανά Baber, Robert L.
    Έκδοση 1987
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  12. 492
    Proofs and refutations the logic of mathematical discovery
    ανά Lakatos, Imre
    Έκδοση 1976
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 493
    The search for certainty a philosophical account of foundations of mathematics
    ανά Gianquinto, M. ((Marcus))
    Έκδοση 2002
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  14. 494
    The logic of language /
    ανά Seuren, Pieter A. M.
    Έκδοση 2010
    Θέματα: “…43921 Γλώσσα και λογική…”
    Βιβλίο
  15. 495
    Ψηφιακά συστήματα : Εννοιες και αρχές λογικής σχεδίασης.
    Έκδοση 1994
    Θέματα: “…ΛΟΓΙΚΗ ΣΧΕΔΙΑΣΗ…”
    Βιβλίο
  16. 496
    A formalization of set theory without variables
    ανά Tarski, Alfred
    Έκδοση 1987
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  17. 497
    How to read and do proofs an introduction to mathematical thought processes
    ανά Solow, Daniel
    Έκδοση 2002
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  18. 498
    Mathematical problem solving
    ανά Schoenfeld, Alan H.
    Έκδοση 1985
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  19. 499
    La genese des structures logiques elementaires classifications et seriations
    ανά Inhelder, Bärbel
    Έκδοση 1972
    Θέματα: “…Λογική 325…”
    Βιβλίο
  20. 500
    Proofs and refutations the logic of mathematical discovery
    ανά Lakatos, Imre
    Έκδοση 1981
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email