Language, Proof and Logic Brand: Center for the Study of Language and Inf (9781575866321 / 43171-568273) | Proof and Logic View product