Theorems, corollaries, lemmas, and methods of proof

Míreanna Comhchosúla

• Theorems, corollaries, lemmas, and methods of proof
  le: Rossi, Richard J.
  Foilsithe: (2006)
• Conditional and Preferential Logics: Proof Methods and Theorem Proving
  le: Pozzato, Gian Luca
  Foilsithe: (2013)
• A new proof of clarke's theorem /
  le: Gue Myung Lee.
• A new proof of clarke's theorem
  le: Cue, Myung Lee, et al.
  Foilsithe: (2014)
• Chart description and a new proof of the classification theorem of genus one Lefschetz fibrations /