Logic, language and computation, vol. 2