The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it.
Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science.
... foundation is a legal categorization of nonprofit organizations. Foundations ... Foundations as legal structures (legal entities) and/or legal persons (legal ...
The Blue Book of Building and Construction is a great source of regional and categorized construction information. Search here for U.S. commercial Foundation contractors.