@inproceedings{conf/aisb/GabbayG08,
title = {Substitution for Fraenkel-Mostowski foundations.},
author = {Murdoch Gabbay and Michael Gabbay},
booktitle = {AISB Convention},
crossref = {conf/aisb/2008},
editor = {Frank Guerin and Wamberto Weber Vasconcelos},
pages = {65-72},
publisher = {AISB},
series = {Computing & Philosophy},
url = {http://dblp.uni-trier.de/db/conf/aisb/aisb2008.html#GabbayG08},
volume = {12},
year = {2008},
description = {dblp},
date = {2008-08-28}, ee = {http://www.aisb.org.uk/convention/aisb08/proc/proceedings/12%20Computing%20and%20Philosophy/10.pdf}, isbn = {1-902956-71-0},
keywords = {dblp }
}
::