An Exactification of the Monoid of Primitive Recursive Functions
On the Exclusivity Implicature of ‘Or’ or on the Meaning of Eating Strawberries
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms
On Amalgamation in Algebras of Logic
Comparing Inductive and Circular Definitions
Two notions of compactness in Gödel logics
Representations of monadic MV -algebras
Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp., £50, ISBN 0 521 82621 7 (hardback), £18.99, 0 521 53361 9 (paperback)