Pynciau a Argymhellir O fewn eich chwiliad
Dangos 1 - 13 canlyniadau o 13 ar gyfer chwilio '', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Trafodyn Cynhadledd Llyfr
    Cyhoeddwyd 1992
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  2. 2
    Beweistheorie.
    Llyfr
    gan Schutte, K. (Kurt)
    Cyhoeddwyd 1960
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  3. 3
    Proof theory /
    Llyfr
    gan Takeuti, Gaisi, 1926-
    Cyhoeddwyd 1975
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  4. 4
    Proof theory /
    Llyfr
    gan Schütte, K. (Kurt)
    Cyhoeddwyd 1977
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  5. 5
    Proof theory : an introduction /
    Llyfr
    gan Pohlers, Wolfram
    Cyhoeddwyd 1989
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Llyfr
    gan Boolos, George
    Cyhoeddwyd 1979
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  7. 7
    On the shape of mathematical arguments /
    Llyfr
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Llyfr
    gan Roever, W.-P. de
    Cyhoeddwyd 1976
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  9. 9
    Absoluteness of intuitionistic logic /
    Llyfr
    gan Leivant, Daniel Maurice Raphaël
    Cyhoeddwyd 1979
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  10. 10
    Proof theory of modal logic /
    Llyfr
    Cyhoeddwyd 1996
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  11. 11
    Analysis : with an introduction to proof /
    Llyfr
    gan Lay, Steven R., 1944-
    Cyhoeddwyd 1990
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  12. 12
    Axiomatising the logic of computer programming /
    Llyfr
    gan Goldblatt, Robert
    Cyhoeddwyd 1982
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  13. 13
    Combinators, -terms and proof theory.
    Traethawd Ymchwil Llyfr
    gan Stenlund, Soren
    Cyhoeddwyd 1972
    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
Offerynnau Chwilio: Cael Porthiant RSS – E-bostio'r Chwiliad hwn – Cadw'r Chwiliad