Search results with tag "Proof and logic"

Language, Proof and Logic - UCFileSpace Tools

Language, Proof and Logic Second Edition Dave Barker-Plummer, Jon Barwise and John Etchemendy in collaboration with Albert Liu, Michael Murray and Emma Pease

  Language, Proof, Plummer, Logic, Proof and logic