Showing 1 - 14 results of 14 for search '', query time: 0.05s Refine Results
  1. 1
    An algebraic introduction to mathematical logic

    An algebraic introduction to mathematical logic by Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

    New York : Springer-Verlag, 1975
    Format: Book


    Save to List
    Saved in:
  2. 2
    Introduction to mathematical logic

    Introduction to mathematical logic by Church, Alonzo, 1903-1995

    Princeton, New Jersey : Princeton University Press, 1956
    Format: Book


    Save to List
    Saved in:
  3. 3
    Mathematical intuitionism : introduction to proof theory

    Mathematical intuitionism : introduction to proof theory by Dragalin, Alʹbert Grigorʹevich

    Providence, R.I. : American Mathematical Society, 1988
    Format: Book


    Save to List
    Saved in:
  4. 4
    A survey of mathematical logic.

    A survey of mathematical logic. by Wang, Hao, 1921-

    Peking : Science Press, 1963
    Format: Book


    Save to List
    Saved in:
  5. 5
    A course in mathematical logic

    A course in mathematical logic by Manin, I︠U︡. I.

    New York : Springer Verlag, 1977
    Format: Book


    Save to List
    Saved in:
  6. 6
    The logical basis for computer programming

    The logical basis for computer programming by Manna, Zohar

    Reading, Mass. : Addison-Wesley, 1985
    Format: Book


    Save to List
    Saved in:
  7. 7
    Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966.

    Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966.

    Amsterdam, North-Holland, 1968
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  8. 8
    An essay in modal logic.

    An essay in modal logic. by Wright, G. H. von (Georg Henrik), 1916-2003

    Amsterdam, North-Holland Pub. Co. 1951
    Format: Book


    Save to List
    Saved in:
  9. 9
    The lambda calculus : its syntax and semantics

    The lambda calculus : its syntax and semantics by Barendregt, H. P. (Hendrik Pieter)

    Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
    Rev. ed.
    Format: Book


    Save to List
    Saved in:
  10. 10
    A transfinite type theory with type variables,

    A transfinite type theory with type variables, by Andrews, P. B. (Peter Bruce), 1937-

    Amsterdam, North-Holland Pub. Co., 1965
    Format: Book


    Save to List
    Saved in:
  11. 11
    An algebraic approach to non-classical logics

    An algebraic approach to non-classical logics by Rasiowa, Helena

    Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974
    Format: Book


    Save to List
    Saved in:
  12. 12
    The theory of logical types,

    The theory of logical types, by Copi, Irving M.

    London, Routledge and K. Paul, 1971
    Format: Government Document Book


    Save to List
    Saved in:
  13. 13
    Ancient logic and its modern interpretations. Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972.

    Ancient logic and its modern interpretations. Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972.

    Dordrecht, Boston, Reidel, 1974
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  14. 14
    Particles and paradoxes : the limits of quantum logic

    Particles and paradoxes : the limits of quantum logic by Gibbins, Peter

    Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987
    Format: Book


    Save to List
    Saved in:

Search Tools: