Online Library TheLib.net » Author books / Книги автора Ulrich Kohlenbach (auth.)
book Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
pdf
00
27.01.2024
0
0
Read online
book Applied proof theory: Proof interpretations and their use in mathematics
Applied proof theory: Proof interpretations and their use in mathematics
pdf
00
26.01.2024
0
0
Read online