First Page | Document Content | |
---|---|---|
Date: 2006-06-01 01:52:19Analytic philosophers Set theory Computability theory Formal methods Models of computation Gottlob Frege Lambda calculus S First-order logic Mathematical logic Logic Mathematics | David J. Anderson and Edward N. Zalta Frege, Boolos, and Logical Objects∗Add to Reading ListSource URL: mally.stanford.eduDownload Document from Source WebsiteFile Size: 236,87 KBShare Document on Facebook |