Logic, Meaning and Computation
XIII, 627 p.