Search Results - "Mathematical logic"

Refine Results
  1. 1

    Mathematical logic by Tourlakis, George J.

    Published 2003
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  2. 2

    Mathematical logic by Chiswell, Ian, 1948-

    Published 2007
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  3. 3
  4. 4

    The elements of mathematical logic. by Rosenbloom, Paul C.

    Published 1950
    Book
  5. 5
  6. 6
  7. 7

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects:
    Get full text
    Electronic eBook
  8. 8
  9. 9
  10. 10

    Mathematical logic in the 20th century

    Published 2003
    “…Mathematical logic in the twentieth century…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  11. 11
  12. 12

    The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / by Mancosu, Paolo

    Published 2010
    Table of Contents: “…part I. Mathematical logic, 1900-1935 -- part II. Foundations of mathematics -- part III. …”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  13. 13

    Truth and Falsehood An Inquiry into Generalized Logical Values / by Shramko, Yaroslav

    Published 2012
    Subjects:
    Get full text
    Electronic eBook
  14. 14

    Deducibility and decidability by Gill, R. R. Rockingham, 1944-

    Published 1990
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  15. 15

    Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler / by Carnielli, Walter

    Published 2008
    Subjects:
    Get full text
    Electronic eBook
  16. 16

    Essays on non-classical logic

    Published 2001
    Subjects: “…Nonclassical mathematical logic.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  17. 17

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

    Published 2008
    Subjects:
    Get full text
    Electronic eBook
  18. 18

    Proof, Computation and Agency Logic at the Crossroads / by van Benthem, Johan

    Published 2011
    Subjects:
    Get full text
    Electronic eBook
  19. 19

    Fading Foundations Probability and the Regress Problem / by Atkinson, David, Peijnenburg, Jeanne

    Published 2017
    Subjects:
    Get full text
    Electronic eBook
  20. 20

    The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today / by Benthem, Johan

    Published 2006
    Subjects:
    Get full text
    Electronic eBook