|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
2113760 | 99 | | Hubie Chen | Computability and Complexity | 2024 | pdf | 4/4/2024 4:34:41 AM | risotor |
2087239 | 39 | | Gianluca Della Vedova | Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24 28, 2023, Proceedings (Lecture Notes in Computer Science, 13967) | 2024 | pdf | 11/27/2023 6:13:41 AM | topron |
2080334 | 692 | | Dusko Pavlovic | Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability) | 2024 | pdf | 9/24/2023 3:58:41 AM | topron |
2072232 | 122 | | Liang Yu | Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics | 2021 | pdf | 8/15/2023 12:49:29 AM | risotor |
2023775 | 269 | | no autor | A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic) | 2021 | pdf | 9/7/2022 10:14:47 PM | topron |
2018470 | 583 | | Damir D. Dzhafarov | Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability) | 2022 | pdf | 7/31/2022 5:50:08 AM | alex21s |
1691047 | 247 | | Nigel Cutland | Computability: An Introduction to Recursive Function Theory | 1980 | pdf | 5/4/2022 8:40:42 PM | tvladb77 |
1647330 | 89 | | Lev D. Beklemishev | Provability, Computability and Reflection, Volume 62 (Studies in Logic and the Foundations of Mathematics) | 1971 | pdf | 3/3/2022 9:18:21 PM | tvladb77 |
1301743 | 140 | | Andre Nies | Computability and Randomness (Oxford Logic Guides) | 2009-01-29 | pdf | 12/12/2021 9:11:51 PM | tvladb77 |
1936881 | 732 | | Anthony Aguirre | Undecidability, Uncomputability, and Unpredictability (The Frontiers Collection) | 2021 | 7z | 8/26/2021 5:30:16 AM | maveriks |
|
|
|
|