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 [Book Review]

Journal of Symbolic Logic 55 (3):1299-1302 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,659

External links

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

Through your library

Similar books and articles

Guillermo de ockham Y el nacimiento Del laicismo moderno.Nicolás López Calera - 2012 - Anales de la Cátedra Francisco Suárez 46:263-280.
Concepts of indoctrination: philosophical essays.Ivan Snook - 1972 - Boston,: Routledge and Kegan Paul.
Jerarquías de ciudadanía en el nuevo orden global.Stephen Castles - 2003 - Anales de la Cátedra Francisco Suárez 37:9-33.
Theories of value and problems of education.Philip G. Smith - 1970 - Urbana,: University of Illinois Press.
Prueba científica: Mitos Y paradigmas.Marina Gascón Abellán - 2010 - Anales de la Cátedra Francisco Suárez 44:81-103.
Neocons Y teocons: Fundamentalismo versus democracia.Elías Díaz Cintas - 2010 - Anales de la Cátedra Francisco Suárez 44:61-79.

Analytics

Added to PP
2013-11-02

Downloads
28 (#569,535)

6 months
5 (#883,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references