>> Mathematical Logic and Foundations
- Computers
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Free Download 
Mathematics , Computational MathematicsComputational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings
Free Download- Mathematics , Computational Mathematics
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings
Free Download 
TechniqueScenario Logic and Probabilistic Management of Risk in Business and Engineering
Free Download
