"Applied proof theory: Proof interpretations and their use in mathematics" - читать интересную книгу автора (Ulrich Kohlenbach)
© 2025 Библиотека RealLib.org
(support [a t] reallib.org)
(support [a t] reallib.org)
"Applied proof theory: Proof interpretations and their use in mathematics" - читать интересную книгу автора (Ulrich Kohlenbach) |
|
© 2025 Библиотека RealLib.org
(support [a t] reallib.org) |