Foreslåede emner i din søgning.
Showing 1 - 13 results of 13 for search '', Forespørselstid: 0.01s Refine Results
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Conference Proceeding Bog
    Udgivet 1992
    Føj til favoritter
    Saved in:
  2. 2
    Beweistheorie.
    Bog
    af Schutte, K. (Kurt)
    Udgivet 1960
    Føj til favoritter
    Saved in:
  3. 3
    Proof theory /
    Bog
    af Takeuti, Gaisi, 1926-
    Udgivet 1975
    Føj til favoritter
    Saved in:
  4. 4
    Proof theory /
    Bog
    af Schütte, K. (Kurt)
    Udgivet 1977
    Føj til favoritter
    Saved in:
  5. 5
    Proof theory : an introduction /
    Bog
    af Pohlers, Wolfram
    Udgivet 1989
    Føj til favoritter
    Saved in:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Bog
    af Boolos, George
    Udgivet 1979
    Føj til favoritter
    Saved in:
  7. 7
    On the shape of mathematical arguments /
    Bog
    Føj til favoritter
    Saved in:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Bog
    af Roever, W.-P. de
    Udgivet 1976
    Føj til favoritter
    Saved in:
  9. 9
    Absoluteness of intuitionistic logic /
    Bog
    Føj til favoritter
    Saved in:
  10. 10
    Proof theory of modal logic /
    Bog
    Udgivet 1996
    Føj til favoritter
    Saved in:
  11. 11
    Analysis : with an introduction to proof /
    Bog
    af Lay, Steven R., 1944-
    Udgivet 1990
    Føj til favoritter
    Saved in:
  12. 12
    Axiomatising the logic of computer programming /
    Bog
    af Goldblatt, Robert
    Udgivet 1982
    Føj til favoritter
    Saved in:
  13. 13
    Combinators, -terms and proof theory.
    Thesis Bog
    af Stenlund, Soren
    Udgivet 1972
    Føj til favoritter
    Saved in:
Søgeredskaber: ”Modtag RSS Feed – Email denne søgning – Gem søgning