Product List

Grease Proof Paper

Grease Proof Paper

  • Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
  • Provides papers, inks, and tech support to get true digital proofs from Epson inkjet printers.
  • Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.
  • Specialists in wastewater treatment by dissolved air flotation used for fibre recovery in paper mills and industrial wastewater treatment.
  • Personal advisories, research, proof-of-concepts and papers.
  • A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
  • Including proof of the Moonshine Conjecture (TeX, DVI, PDF).
  • A paper by David M. Russinoff describing the use of the Boyer-Moore theorem prover in mechanically generating a proof of the Law of Quadratic Reciprocity. PS/PDF.
  • Mini Baking Cup Paper

    Cooking Paper

    Grease Proof Paper