| |||
|
|
начни с этих: "Introduction to Metamathematics" Stephen Cole Kleene, Michael Beeson "Theory of Recursive Functions and Effective Computability" Hartley Rogers когда освоишь, спрашивай что дальше Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed. |
|||