Εμφανίζονται 381 - 400 Αποτελέσματα από 1.395 για την αναζήτηση '"Λογική"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 381
    Schaum's outline of theory and problems of logic
    ανά Nolt, John 1950-, Rohatyn, Dennis A.
    Έκδοση 1988
    Θέματα: “…Λογική Προβλήματα, ασκήσεις κλπ. 133661…”
    Βιβλίο
  2. 382
    Enumerability, decidability, computability : an introduction to the theory of recursive functions /
    ανά Hermes, Hans
    Έκδοση 1969
    Θέματα: “…472 Λογική, Συμβολική και μαθηματική…”
    Βιβλίο
  3. 383
    Proof theory and intuitionistic systems /
    ανά Scarpellini, Bruno
    Έκδοση 1971
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  4. 384
    Büchi's monadic second order successor arithmetic /
    ανά Siefkes, Dirk
    Έκδοση 1970
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  5. 385
    Conference in Mathematical Logic, London '70 /
    Έκδοση 1972
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  6. 386
    Extensional Gödel functional interpretation : a consistency proof of classical analysis /
    ανά Luckhardt, Horst
    Έκδοση 1973
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  7. 387
    The monadic second order theory of all countable ordinals /
    ανά Büchi, J. Richard
    Έκδοση 1973
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  8. 388
    Metamathematical investigation of intuitionistic arithmetic and analysis /
    Έκδοση 1973
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  9. 389
    ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
    Έκδοση 1975
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  10. 390
    Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
    Έκδοση 1984
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  11. 391
    Logic Colloquium : Symposium on Logic Held at Boston, 1972-73 /
    Έκδοση 1975
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  12. 392
    Introduction to combinatory logic /
    ανά Hindley, J. Roger
    Έκδοση 1972
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  13. 393
    Logic : techniques of formal reasoning /
    ανά Kalish, Donald
    Έκδοση 1980
    Θέματα: “…472 Λογική, Συμβολική και μαθηματική…”
    Βιβλίο
  14. 394
    Elementary induction on abstract structures /
    ανά Μοσχοβάκης, Γιάννης Ν.
    Έκδοση 1974
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  15. 395
    Logic Colloquium : proceedings of a conference held in Oxford in July 1976 /
    Έκδοση 1977
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  16. 396
    Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
    Έκδοση 1973
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  17. 397
    Constructive order types /
    ανά Crossley, John N.
    Έκδοση 1969
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  18. 398
    The problem of inductive logic /
    Έκδοση 1968
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Πρακτικό Συνεδρίου Βιβλίο
  19. 399
    Selected works /
    ανά Łukasiewicz, Jan
    Έκδοση 1970
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
  20. 400
    Logic in algebraic form : three languages and theories /
    ανά Craig, William, 1918-
    Έκδοση 1974
    Θέματα: “…Λογική, Συμβολική και μαθηματική 472…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email