Liknande verk

• Proof in mathematics ("if", "then" and "perhaps") : a collection of material illustrating the nature and variety of the idea of proof in mathematics (Livre papier)
  Baxandall, P. R.
  University of Keele, Institute of Education, 1978
• Hybrid logic and its proof-theory (Livre numérique)
  Bräuner, Torben, 1962-
• The proof is in the pudding : the changing nature of mathematical proof (Livre numérique)
  Krantz, Steven G., 1951-...., mathématicien
  Springer New York, 2011
• Methods of cut-elimination (Livre numérique)
  Leitsch, Alexander, 1952-, et al.
• Structural proof theory (Livre papier)
  Negri, Sara, 1967-, et al.
  Cambridge University Press, 2001