Proof, logic and formalization. (2005) - Unknown
No abstract available