Foundation of the formal sciences II : applications of mathematical logic in philosophy and linguistics, papers of a conference held in Bonn, November 10-13, 2000. ISBN 1402011547. Published by Kluwer Academic Publishers in 2003. Publication and catalogue information, links to buy online and reader comments.