"A Theory of Formal Deducibility (Notre Dame Mathematical Lectures, No. 6)" - читать интересную книгу автора (Haskell B. Curry) |
© 2025 Библиотека RealLib.org
(support [a t] reallib.org) |