Mathematics , Logic
Mathematics , LogicThe undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Free Download
- Mathematics , Logic
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
Free Download - Mathematics , Logic
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Free Download 
Mathematics , LogicTheorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Free Download
Mathematics , LogicTheorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Free Download
Mathematics , LogicThinking about acting: logical foundations for rational decision making
Free Download
- Mathematics , Logic
Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
Free Download 
