Proof, Computation and Agency: Logic at the Crossroads

by Johan Van Bentham · 1 review · 2012

Reviewed by Journal Date Access

Also by Van Bentham

Search PhilReviews for this title