Search Results - Löb, Martin H. 1921-2006

  • Results 1 – 3 of 3
Refine Results
  1. 1
    Cover Image

    Embedding first order predicate logic in fragments of intuitionistic logic
    by Löb, Martin H. 1921-2006

    Published 1975
    Request via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

    Proceedings of the Summer School in logic, Leeds, 1967: N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic

    Published 1968
    Other Authors: “…Löb, Martin H. 1921-2006…”
    Request for local pickup
    Available at UBR
    Items can be borrowed from the UBR with a personal library card.
    Conference Proceeding Book


    Saved in:
  3. 3
    Cover Image

    Proceedings of the Summer School in Logic Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

    Published 1968
    Other Authors: “…Löb, Martin H. 1921-2006…”

    EBook available at UBR
    You can use this EBook on site at the UBR.
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: