Report copyright - In memory of Alan M. Turing - ETH Z · • Stephen Cole Kleene ... – formal logic – Thesis: proof of a main theorem in ... – “The Mathematical Analysis of Logic” (1847)
Please pass captcha verification before submit form
Please pass captcha verification before submit form