Search Results - "Mathematical logic"

Suggested Topics within your search.
  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Information and Knowledge A Constructive Type-theoretical Approach /

    Information and Knowledge A Constructive Type-theoretical Approach / by Primiero, Giuseppe

    Published 2008
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /

    Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf / by Dybjer, P.

    Published 2012
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Dynamic Epistemic Logic

    Dynamic Epistemic Logic by Ditmarsch, Hans

    Published 2007
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Induction, Algorithmic Learning Theory, and Philosophy

    Induction, Algorithmic Learning Theory, and Philosophy by Friend, Michle

    Published 2007
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Logic and Philosophy of Mathematics in the Early Husserl

    Logic and Philosophy of Mathematics in the Early Husserl by Centrone, Stefania

    Published 2010
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /

    Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell / by DeVidi, David

    Published 2011
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Treatise on Intuitionistic Type Theory

    Treatise on Intuitionistic Type Theory by Granstrm, Johan Georg

    Published 2011
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /

    A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / by Pagliani, Piero

    Published 2008
    Subjects:
    Get full text
    Electronic eBook
    Save to List
    Saved in:

Search Tools: