Applied Proof Theory: Proof Interpretations and their Use in Mathematics by Ulri
126,24 €
This subject has historical roots in the 1950s. This line of research, which has its roots in G. Kreisel's pioneering work on 'unwinding of proofs' from the 50's, has in more recent years developed into a ?.
Jetzt bei Ebay:
