%0 Conference Paper %1 conf/aisb/GabbayG08 %A Gabbay, Murdoch %A Gabbay, Michael %B AISB Convention %D 2008 %E Guerin, Frank %E Vasconcelos, Wamberto Weber %I AISB %K dblp %P 65-72 %T Substitution for Fraenkel-Mostowski foundations. %U http://dblp.uni-trier.de/db/conf/aisb/aisb2008.html#GabbayG08 %V 12 %@ 1-902956-71-0

@inproceedings{conf/aisb/GabbayG08, added-at = {2017-08-30T00:00:00.000+0200}, author = {Gabbay, Murdoch and Gabbay, Michael}, biburl = {https://www.bibsonomy.org/bibtex/203ceb37c9379b433a0af80c4ef544026/dblp}, booktitle = {AISB Convention}, crossref = {conf/aisb/2008}, editor = {Guerin, Frank and Vasconcelos, Wamberto Weber}, ee = {http://www.aisb.org.uk/convention/aisb08/proc/proceedings/12%20Computing%20and%20Philosophy/10.pdf}, interhash = {9acb9b56ac2944ea722cc89b56da130d}, intrahash = {03ceb37c9379b433a0af80c4ef544026}, isbn = {1-902956-71-0}, keywords = {dblp}, pages = {65-72}, publisher = {AISB}, series = {Computing & Philosophy}, timestamp = {2018-06-22T11:51:40.000+0200}, title = {Substitution for Fraenkel-Mostowski foundations.}, url = {http://dblp.uni-trier.de/db/conf/aisb/aisb2008.html#GabbayG08}, volume = 12, year = 2008 }