8196fe1d_esearch_and_Sponsored_Programs__Program_Description
[Date] 8/23/2010 Funding Opportunity - Foundations - US National Science Foundation (NSF) [Program Description] 
supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics
Kean University: Office of Research and Sponsored Programs
Program Description