|
|
A Cook's Tour of the Finitary Non-Well-Founded Sets
S. Abramsky infobook 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
BibTeX
Download (pdf)
related pages
|
|
|
|
