×
  • Formalized Recursive Functionals and Formalized Realizability

    Stephen C. Kleene

Click on cover to enlarge.
Buy This Book
From Amazon.
2 - 3Hours to read