Examples of use of cut to shorten proofs

Publikasjonsdetaljer

  • Journal: Ukjent, Thursday 1. May 1997