Y
Hacker News
new
|
ask
|
show
|
jobs
by
pthreads
807 days ago
Try What Can be Computed by John MacCormick :
https://press.princeton.edu/books/hardcover/9780691170664/wh...