Suggested Topics within your search.
Showing 1 - 13 results of 13 for search '', query time: 0.07s Refine Results
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Conference Proceeding Book
    Published 1992
    Save to List
    Saved in:
  2. 2
    Beweistheorie.
    Book
    by Schutte, K. (Kurt)
    Published 1960
    Save to List
    Saved in:
  3. 3
    Proof theory /
    Book
    by Takeuti, Gaisi, 1926-
    Published 1975
    Save to List
    Saved in:
  4. 4
    Proof theory /
    Book
    by Schütte, K. (Kurt)
    Published 1977
    Save to List
    Saved in:
  5. 5
    Proof theory : an introduction /
    Book
    by Pohlers, Wolfram
    Published 1989
    Save to List
    Saved in:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Book
    by Boolos, George
    Published 1979
    Save to List
    Saved in:
  7. 7
    On the shape of mathematical arguments /
    Book
    Save to List
    Saved in:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Book
    by Roever, W.-P. de
    Published 1976
    Save to List
    Saved in:
  9. 9
    Absoluteness of intuitionistic logic /
    Book
    Save to List
    Saved in:
  10. 10
    Proof theory of modal logic /
    Book
    Published 1996
    Save to List
    Saved in:
  11. 11
    Analysis : with an introduction to proof /
    Book
    by Lay, Steven R., 1944-
    Published 1990
    Save to List
    Saved in:
  12. 12
    Axiomatising the logic of computer programming /
    Book
    by Goldblatt, Robert
    Published 1982
    Save to List
    Saved in:
  13. 13
    Combinators, -terms and proof theory.
    Thesis Book
    by Stenlund, Soren
    Published 1972
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search