Logic, languages and computability

John Stalker