Aihe-ehdotuksia
Näytetään 1 - 13 yhteensä 13 tuloksesta haulle '', hakuaika: 0,01s Tarkenna hakua
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Konferenssijulkaisu Kirja
    Julkaistu 1992
    Lisää suosikkeihin
    Tallennettuna:
  2. 2
    Beweistheorie.
    Kirja
    Tekijä Schutte, K. (Kurt)
    Julkaistu 1960
    Lisää suosikkeihin
    Tallennettuna:
  3. 3
    Proof theory /
    Kirja
    Tekijä Takeuti, Gaisi, 1926-
    Julkaistu 1975
    Lisää suosikkeihin
    Tallennettuna:
  4. 4
    Proof theory /
    Kirja
    Tekijä Schütte, K. (Kurt)
    Julkaistu 1977
    Lisää suosikkeihin
    Tallennettuna:
  5. 5
    Proof theory : an introduction /
    Kirja
    Tekijä Pohlers, Wolfram
    Julkaistu 1989
    Lisää suosikkeihin
    Tallennettuna:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Kirja
    Tekijä Boolos, George
    Julkaistu 1979
    Lisää suosikkeihin
    Tallennettuna:
  7. 7
    On the shape of mathematical arguments /
    Kirja
    Lisää suosikkeihin
    Tallennettuna:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Kirja
    Tekijä Roever, W.-P. de
    Julkaistu 1976
    Lisää suosikkeihin
    Tallennettuna:
  9. 9
    Absoluteness of intuitionistic logic /
    Kirja
    Tekijä Leivant, Daniel Maurice Raphaël
    Julkaistu 1979
    Lisää suosikkeihin
    Tallennettuna:
  10. 10
    Proof theory of modal logic /
    Kirja
    Julkaistu 1996
    Lisää suosikkeihin
    Tallennettuna:
  11. 11
    Analysis : with an introduction to proof /
    Kirja
    Tekijä Lay, Steven R., 1944-
    Julkaistu 1990
    Lisää suosikkeihin
    Tallennettuna:
  12. 12
    Axiomatising the logic of computer programming /
    Kirja
    Tekijä Goldblatt, Robert
    Julkaistu 1982
    Lisää suosikkeihin
    Tallennettuna:
  13. 13
    Combinators, -terms and proof theory.
    Opinnäyte Kirja
    Tekijä Stenlund, Soren
    Julkaistu 1972
    Lisää suosikkeihin
    Tallennettuna:
Työkalut: RSS-syöte – Lähetä haku sähköpostilla – Tallenna haku