Proof and Other Dilemmas : Mathematics and Philosophy

Mathematics Logic, Symbolic and mathematical Proof theory MATHEMATICS / Infinity MATHEMATICS / Logic sähkökirjat
Cambridge University Press
2011
EISBN 9781614445050
