Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 13 արդյունքները 13 այս փնտրման համար '', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1992
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Beweistheorie.
    Գիրք
    Schutte, K. (Kurt)
    Հրապարակվել է 1960
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Proof theory /
    Գիրք
    Takeuti, Gaisi, 1926-
    Հրապարակվել է 1975
    Պահել ցուցակում
    Պահպանված է:
  4. 4
    Proof theory /
    Գիրք
    Schütte, K. (Kurt)
    Հրապարակվել է 1977
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    Proof theory : an introduction /
    Գիրք
    Pohlers, Wolfram
    Հրապարակվել է 1989
    Պահել ցուցակում
    Պահպանված է:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Գիրք
    Boolos, George
    Հրապարակվել է 1979
    Պահել ցուցակում
    Պահպանված է:
  7. 7
    On the shape of mathematical arguments /
    Գիրք
    Gasteren, A. J. M. (Antonetta J. M.) van, 1952-
    Հրապարակվել է 1990
    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Գիրք
    Roever, W.-P. de
    Հրապարակվել է 1976
    Պահել ցուցակում
    Պահպանված է:
  9. 9
    Absoluteness of intuitionistic logic /
    Գիրք
    Leivant, Daniel Maurice Raphaël
    Հրապարակվել է 1979
    Պահել ցուցակում
    Պահպանված է:
  10. 10
    Proof theory of modal logic /
    Գիրք
    Հրապարակվել է 1996
    Պահել ցուցակում
    Պահպանված է:
  11. 11
    Analysis : with an introduction to proof /
    Գիրք
    Lay, Steven R., 1944-
    Հրապարակվել է 1990
    Պահել ցուցակում
    Պահպանված է:
  12. 12
    Axiomatising the logic of computer programming /
    Գիրք
    Goldblatt, Robert
    Հրապարակվել է 1982
    Պահել ցուցակում
    Պահպանված է:
  13. 13
    Combinators, -terms and proof theory.
    Թեզիս Գիրք
    Stenlund, Soren
    Հրապարակվել է 1972
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը