Tracing Back “Logic in Wonderland” to My Work with Leon Henkin
暂无分享,去创建一个
The book Logic in Wonderland, I co-authored with Atara Shriki, was published in early 2013, about 40 years after I started my Ph.D. thesis with Leon Henkin. The time gap did not diminish his influence. A few anecdotes from my early days with Leon and two sample tasks from the book recently published illustrate it.