I’m learning from this book: https://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf (Lectures on Curry-Howard Isomorphism – 1998 version) for some project. And due to time constraints, I probably won’t be able to cover all of the material in the book, in my study. Luckily, although it would be useful,I don’t think I will need to know everything in this book, but rather selected topics. At the moment, I learned the first chapter and something like a third of the second chapter, and from what I learned so far in the second chapter it seems like you don’t actually need to know the first chapter in order to learn this chapter, it seems like the two chapters cover separate topics. So, perhaps that’s true for other chapters as well. Of course, some of them will require knowledge of previous chapters, especially, I can imagine the 4th chapter on the Curry-Howard isomorphism, but even the chapters that require knowledge of previous chapters, might not require all the previous chapters.
So, it could be very helpful if someone with experience with the topics covered in this book, could list to each chapter all the prerequisites for learning it. Especially, for chapters 4 and 11 (Heyting Arithmetic), that cover material that I totally need.