A Cook's Tour of the Finitary Non−Well−Founded Sets
S. Abramsky
Details
| Book Title |
We Will Show Them: Essays in honour of Dov Gabbay |
| Editor |
Sergei Artemov and Howard Barringer and Artur d'Avila Garcez and Luis C. Lamb and John Woods |
| Pages |
1−18 |
| Publisher |
College Publications |
| Volume |
1 |
| Year |
2005 |
Links
Related pages
|
People |