Εμφανίζονται 1 - 20 Αποτελέσματα από 1.977 για την αναζήτηση '"Mathematical Logic and Formal Languages."', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    Mathematical Logic and Model Theory A Brief Introduction /
    ανά Prestel, Alexander, Delzell, Charles N.
    Έκδοση 2011
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Gentzen's Centenary The Quest for Consistency /
    Έκδοση 2015
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Type Systems for Distributed Programs: Components and Sessions
    ανά Dardha, Ornela
    Έκδοση 2016
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
    Έκδοση 2016
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Notes on Set Theory
    ανά Moschovakis, Yiannis
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Methods of Cut-Elimination
    ανά Leitsch, Alexander, Baaz, Matthias
    Έκδοση 2011
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
    ανά Cellucci, Carlo
    Έκδοση 2013
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Formal Languages and Compilation
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Advances in Proof-Theoretic Semantics
    Έκδοση 2016
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Dependence Logic Theory and Applications /
    Έκδοση 2016
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    ανά Czelakowski, Janusz
    Έκδοση 2015
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context /
    Έκδοση 2014
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Logica: Metodo Breve
    ανά Mundici, Daniele
    Έκδοση 2011
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Logic: A Brief Course
    ανά Mundici, Daniele
    Έκδοση 2012
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Logica Volume 1 Dimostrazioni e modelli al primo ordine /
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    A Course on Mathematical Logic
    ανά Srivastava, Shashi Mohan
    Έκδοση 2013
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Computing with Words Principal Concepts and Ideas /
    ανά Zadeh, Lotfi A.
    Έκδοση 2012
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Institution-independent Model Theory
    ανά Diaconescu, Răzvan
    Έκδοση 2008
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Truth and Falsehood An Inquiry into Generalized Logical Values /
    ανά Shramko, Yaroslav, Wansing, Heinrich
    Έκδοση 2012
    Θέματα: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email