Mathesis Universalis, Computability and Proof
by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster
Proof theoryCongressesLogicSymbolic and mathematical Logic
Writing a summary for young readers…
For young readers
Book data: Open Library