Sugestões de Tópicos dentro de sua pesquisa.
A mostrar 1 - 13 resultados de 13 para a pesquisa '', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Conference Proceeding Livro
    Publicado em 1992
    Adic. favoritos
    Na minha lista:
  2. 2
    Beweistheorie.
    Livro
    Por Schutte, K. (Kurt)
    Publicado em 1960
    Adic. favoritos
    Na minha lista:
  3. 3
    Proof theory /
    Livro
    Por Takeuti, Gaisi, 1926-
    Publicado em 1975
    Adic. favoritos
    Na minha lista:
  4. 4
    Proof theory /
    Livro
    Por Schütte, K. (Kurt)
    Publicado em 1977
    Adic. favoritos
    Na minha lista:
  5. 5
    Proof theory : an introduction /
    Livro
    Por Pohlers, Wolfram
    Publicado em 1989
    Adic. favoritos
    Na minha lista:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Livro
    Por Boolos, George
    Publicado em 1979
    Adic. favoritos
    Na minha lista:
  7. 7
    On the shape of mathematical arguments /
    Livro
    Adic. favoritos
    Na minha lista:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Livro
    Por Roever, W.-P. de
    Publicado em 1976
    Adic. favoritos
    Na minha lista:
  9. 9
    Absoluteness of intuitionistic logic /
    Livro
    Por Leivant, Daniel Maurice Raphaël
    Publicado em 1979
    Adic. favoritos
    Na minha lista:
  10. 10
    Proof theory of modal logic /
    Livro
    Publicado em 1996
    Adic. favoritos
    Na minha lista:
  11. 11
    Analysis : with an introduction to proof /
    Livro
    Por Lay, Steven R., 1944-
    Publicado em 1990
    Adic. favoritos
    Na minha lista:
  12. 12
    Axiomatising the logic of computer programming /
    Livro
    Por Goldblatt, Robert
    Publicado em 1982
    Adic. favoritos
    Na minha lista:
  13. 13
    Combinators, -terms and proof theory.
    Thesis Livro
    Por Stenlund, Soren
    Publicado em 1972
    Adic. favoritos
    Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS – Enviar pesquisa por email – Guardar a pesquisa