Foreslåede emner i din søgning.
Showing 1 - 1 results of 1 for search 'cut-elimination theorem~', Forespørselstid: 0.38s Refine Results
  1. 1
    Elements of logical reasoning
    af Plato, Jan Von
    Udgivet 2013
    Indholdsfortegnelse: “.... Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting....”
    Printed Book
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning