Switch to: Citations

Add references

You must login to add references.
  1. The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
  • Independent postulates related to C. I. Lewis's theory of strict implication.Edward V. Huntington - 1934 - Mind 43 (170):181-198.
  • Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
  • A Non-Existent Revision of Introduction to Mathematical Philosophy.Kenneth Blackwell - 2000 - Russell: The Journal of Bertrand Russell Studies 20:16.