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

Autor:	Michael Beeson
Rok vydání:	1990
Předmět:	Discrete mathematics Philosophy Logic Nuprl Mathematics
Zdroj:	Journal of Symbolic Logic. 55:1299-1302
ISSN:	1943-5886 0022-4812
DOI:	10.2307/2274489
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::398654158f52f290be78011ebae25c91 https://doi.org/10.2307/2274489 Zobrazit plný text záznamu