Showing 1 - 19 results of 19 for search '', query time: 0.21s Refine Results
  1. 1
    A transfinite type theory with type variables

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Gödel
    Published 1969

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Enumerability, decidability, computability An introduction to the theory of recursive functions
    by Hermes, Hans
    Published 1969

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    The theory of logical types /
    by Copi, Irving M
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  5. 5
    Minimal degrees of unsolvability and the full approximation construction /

    Book
  6. 6
    Principles of intuitionism

    Book
  7. 7
    Principles of intuitionism /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    An algebraic introduction to mathematical logic /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 /
    Published 1981

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    The monadic second order theory of all countable ordinals /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    Logical and logico-mathematical calculi. 2
    Published 1974

    Book
  12. 12
    Cambridge Summer School in Mathematical Logic; [papers]
    Published 1973

    Conference Proceeding Book
  13. 13
    Algebraizable logics /

    Book
  14. 14
    The lambda calculus : its syntax and semantics /

    Book
  15. 15
    Problems in the constructive trend in mathematics
    Published 1970

    Book
  16. 16
    Représentations unipotentes génériques et blocs des groupes réductifs finis /

    Book
  17. 17
    An algebraic introduction to mathematical logic /

    Book
  18. 18
    Recursion theory /
    Published 1985

    Conference Proceeding Book
  19. 19
    The theory of logical types,

    Book
Search Tools: Get RSS Feed — Email this Search