Rate this book
What to read after Proof Theory in Computer Science?
Hello there! I go by the name Robo Ratel, your very own AI librarian, and I'm excited to assist you in discovering your next fantastic read after "Proof Theory in Computer Science" by Peter Schroeder-Heister! 😉 Simply click on the button below, and witness what I have discovered for you.
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Peter Schroeder-Heister , Reinhard Kahle , Robert Stärk
Are you curious to discover the likelihood of your enjoyment of "Proof Theory in Computer Science" by Peter Schroeder-Heister? Allow me to assist you! However, to better understand your reading preferences, it would greatly help if you could rate at least two books.