Suggested Topics within your search.
Showing 1 - 13 results of 13 for search '', tempo de consulta: 0.01s Limitar resultados
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Conference Proceeding Libro
    Publicado 1992
    Engadir a favoritos
    Gardado en:
  2. 2
    Beweistheorie.
    Libro
    por Schutte, K. (Kurt)
    Publicado 1960
    Engadir a favoritos
    Gardado en:
  3. 3
    Proof theory /
    Libro
    por Takeuti, Gaisi, 1926-
    Publicado 1975
    Engadir a favoritos
    Gardado en:
  4. 4
    Proof theory /
    Libro
    por Schütte, K. (Kurt)
    Publicado 1977
    Engadir a favoritos
    Gardado en:
  5. 5
    Proof theory : an introduction /
    Libro
    por Pohlers, Wolfram
    Publicado 1989
    Engadir a favoritos
    Gardado en:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Libro
    por Boolos, George
    Publicado 1979
    Engadir a favoritos
    Gardado en:
  7. 7
    On the shape of mathematical arguments /
    Libro
    Engadir a favoritos
    Gardado en:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Libro
    por Roever, W.-P. de
    Publicado 1976
    Engadir a favoritos
    Gardado en:
  9. 9
    Absoluteness of intuitionistic logic /
    Libro
    Engadir a favoritos
    Gardado en:
  10. 10
    Proof theory of modal logic /
    Libro
    Publicado 1996
    Engadir a favoritos
    Gardado en:
  11. 11
    Analysis : with an introduction to proof /
    Libro
    por Lay, Steven R., 1944-
    Publicado 1990
    Engadir a favoritos
    Gardado en:
  12. 12
    Axiomatising the logic of computer programming /
    Libro
    por Goldblatt, Robert
    Publicado 1982
    Engadir a favoritos
    Gardado en:
  13. 13
    Combinators, -terms and proof theory.
    Thesis Libro
    por Stenlund, Soren
    Publicado 1972
    Engadir a favoritos
    Gardado en:
Ferramentas de procura: RSS – Enviar por correo electrónico esta procura – Gardar procuras