Showing 21 - 30 results of 501 for search '"Logic Symbolic and mathematical."', query time: 0.02s Refine Results
  1. 21

    Alan Turing his work and impact

    Published 2013
    Book

    Alan Turing his work and impact
  2. 22

    Word and object by Quine, Willard Van Orman

    Published 2013
    Book

    Word and object
  3. 23

    A transition to mathematics with proofs by Cullinane, Michael J.

    Published 2013
    Book

    A transition to mathematics with proofs
  4. 24

    Qualitative spatial and temporal reasoning by Ligozat, Gaerard

    Published 2012
    Also available online for University of the Philippines Diliman via Wiley Online Library. Click here to access
    Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy
    Electronic Resource

    Qualitative spatial and temporal reasoning
  5. 25

    Probability an introduction by Santos, David A.

    Published 2011
    Book

    Probability an introduction
  6. 26

    Handbook of logic and language

    Published 2011
    Book

    Handbook of logic and language
  7. 27

    An introduction to practical formal methods using temporal logic by Fisher, Michael 1962-

    Published 2011
    Book

    An introduction to practical formal methods using temporal logic
  8. 28

    Dynamic formal epistemology

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Dynamic formal epistemology
  9. 29

    Games, norms and reasons logic at the crossroads

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Games, norms and reasons logic at the crossroads
  10. 30

    Treatise on intuitionistic type theory by Granström, Johan Georg

    Published 2011
    Available for UP System via Springer Link.
    Electronic Resource

    Treatise on intuitionistic type theory

Search Tools: