Εμφανίζονται 1 - 20 Αποτελέσματα από 46 για την αναζήτηση '"Logic, Symbolic and mathematical"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic, sets, and recursion /
    ανά Causey, Robert L.
    Έκδοση 1994
    Θέματα: “…Logic, Symbolic and mathematical.…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  2. 2
    Mathematical logic for computer science/
    ανά Ben-Ari, M., 1948-
    Έκδοση 2001
    Θέματα: “…Logic, Symbolic and mathematical…”
    Βιβλίο
  3. 3
    An introduction to practical formal methods using temporal logic /
    ανά Fisher, Michael, 1962-
    Έκδοση 2011
    Θέματα: “…Logic, Symbolic and mathematical.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  4. 4
    In the light of logic /
    ανά Feferman, Solomon
    Έκδοση 1998
    Θέματα: “…Logic, Symbolic and mathematical.…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  5. 5
    100 Mathematical proof /
    ανά Garnier, Rowan
    Έκδοση 1996
    Θέματα: “…Logic, symbolic and mathematical…”
    Βιβλίο
  6. 6
    Propositional and Predicate Calculus A Model of Argument
    ανά Goldrei, Derek
    Έκδοση 2005
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 7
    A Course in Mathematical Logic for Mathematicians
    ανά Manin, IU I.
    Έκδοση 2010
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 8
    The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
    ανά Benthem, Johan
    Έκδοση 2006
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 9
    Problems and Theorems in Classical Set Theory
    ανά KomjΓ'th, PΓ©ter
    Έκδοση 2006
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 10
    18 Unconventional Essays on the Nature of Mathematics
    ανά Hersh, Reuben 1927-
    Έκδοση 2006
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 11
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2010
    Θέματα: “…Logic, Symbolic and mathematical…”
    Λήψη πλήρους κειμένου
    Thesis
  12. 12
    Schaum's outline of theory and problems of discrete mathematics /
    ανά Lipschutz, Seymour
    Έκδοση 1997
    Θέματα: “…Logic, Symbolic and mathematical Outlines, syllabi, etc.…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  13. 13
    Cardinal Invariants on Boolean Algebras
    ανά Monk, J. Donald (James Donald), 1930-
    Έκδοση 2010
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 14
    Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
    ανά Lau, Dietlinde
    Έκδοση 2006
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 15
    Brouwer meets Husserl On the Phenomenology of Choice Sequences
    ανά Atten, Mark
    Έκδοση 2007
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 16
    A Concise Introduction to Mathematical Logic
    ανά Rautenberg, Wolfgang
    Έκδοση 2010
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 17
    Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
    ανά Bagaria, Joan
    Έκδοση 2006
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 18
    A Concise Introduction to Mathematical Logic
    ανά Rautenberg, Wolfgang
    Έκδοση 2006
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 19
    A Modern Perspective on Type Theory From its Origins until Today
    ανά Kamareddine, Fairouz
    Έκδοση 2005
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 20
    Handbook of Set Theory
    ανά Foreman, Matthew
    Έκδοση 2010
    Θέματα: “…Logic, Symbolic and mathematical 65151…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email