Search Results

Suggested Topics within your search.
  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Cover Image

    Term logic with choice operator by Hermes, Hans

    Published 1970
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Logic, computers, and sets by Wang, Hao

    Published 1970
    Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Tableau systems for first order number theory and certain higher order theories by Toledo, Sue

    Published 1975
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Théorie métamathématique des idéaux by Robinson, Abraham

    Published 1955
    Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    Büchi's Monadic second order successor arithmetic by Siefkes, Dirk

    Published 1970
    Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    A precis of mathematical logic by Bochénski, Innocentius M

    Published 1959
    Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    Matemática discreta y lógica by Grassmann, Winfried Karl, Tremblay, Jean-Paul

    Published 1997
    Disponible Online
    Book

    Save to List
    Saved in:
  8. 8
    Cover Image

    Lógica simbólica by Hegenberg, Leónidas

    Published 1966
    Book

    Save to List
    Saved in:
  9. 9
    Cover Image

    Proceedings of the Summer School in Logic Leeds, 1967

    Published 1968
    Book

    Save to List
    Saved in:

Search Tools: