Language, Proof and Logic - e-bok, Engelska, 2016