Categories

Keywords

Reprint years

DOI

10.1093/philmat/nks006

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Matthias Baaz;, Christos H. Papadimitriou;, Hilary W. Putnam;, Dana S. Scott;, Charles L. HarperJr. . Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. xxiii + 515 pp., illus., tables, bibl., index. Cambridge: Cambridge University Press, 2011. $99.Paolo Mancosu - 2012 - Isis 103 (2):383-384.
The mechanization of reason.Michael Detlefsen - 1995 - Philosophia Mathematica 3 (1).
E. P. Northrop, R. S. Fouch, I. R. Hershner, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, H. F. Mist, A. L. Putnam, S. Sherman, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vol. 1. The University of Chicago Press, Chicago1948, pp. vi, 1–281. - E. P. Northrop, R. S. Fouch, M. Friedman, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, E. H. Ostrow, A. L. Putnam, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vols. 2 and 3. The University of Chicago Press, Chicago1949, pp. v, 282–533; v, 534–921.A. F. Bausch - 1950 - Journal of Symbolic Logic 14 (4):242-243.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
Anthropological Essays - Anthropological Essays presented to E. B. Tylor in honour of his 75th birthday. By H. Balfour, A. E. Crawley, D. J. Cunningham, L. R. Farnell, J. G. Frazer, A. C. Haddon, E. S. Hartland, A. Lang, R. R. Marett, C. S. Myers, J. L. Myres, C. H. Read, SirJ. Rhys, W. Ridgeway, W. H. R. Rivers, C. G. Seligmann, and T. A. Toza, N. W. Thomas, A. Thomson, E. Westermarck. With a Bibliography by B. W. Freise-Marreco. Clarendon Press.W. H. D. Rouse - 1908 - The Classical Review 22 (7):225-226.
Connectionism and cognitive architecture: A critical analysis.Jerry A. Fodor & Zenon W. Pylyshyn - 1988 - Cognition 28 (1-2):3-71.
Neocons Y teocons: Fundamentalismo versus democracia.Elías Díaz Cintas - 2010 - Anales de la Cátedra Francisco Suárez 44:61-79.
Primus Annus - Primus Annus. By W. L. Paine and C. L. Mainwaring (Whitgift School, Croydon). With an introduction by S. O. Andrew. Pp. 138. Oxford: Clarendon Press, 1912. 2s. - Decem Fabulae. By W. L. Paine, C. L. Mainwaring, and MissE. Ryle. With a preface by W. H. D. Rouse. Pp. 94. Oxford: Clarendon Press, 1912. 1s. 6d. [REVIEW]Harold P. Cooke - 1913 - The Classical Review 27 (1):32-33.
G. gierz, K. H. Hofmann, K. keimel, J. D. Lawson, M. W. mislove and D. S. Scott, continuous lattices and domains.G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove & D. S. Scott - 2007 - Studia Logica 86 (1):137-138.

Analytics

Added to PP
2012-03-08

Downloads
166 (#248,558)

6 months
15 (#809,700)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Peter Eldridge-Smith
Peter Eldridge-Smith
Australian National University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references