Truth, proof and formal methods : philosophical background /
O'Regan, Gerard.
Trinity College (Dublin, Ireland).Department of Computer Science.
Dubin : Trinity College, Department of Computer Science,
1995.
Includes bibliography
Logic, Symbolic and mathematical.
Philosophy.
Proof theory.