Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274490

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: Robert S. Boyer, J. Strother Moore, A Computational Logic; Robert S. Boyer, J. Strother Moore, A Computational Logic Handbook. [REVIEW]Dale Miller - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
A Computational Logic Handbook.Robert S. Boyer & J. Strother Moore - 1988
A Computational Logic.Robert S. Boyer & J. Strother Moore - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
Erratum.Reuben Hersh - 1998 - Philosophia Mathematica 6 (1):85-85.
Program Verification.Robert S. Boyer & J. Strother Moore - unknown
Susumu Hayashi and Hiroshi Nakano. PX. A computational logic. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1989, xiv + 200 pp. [REVIEW]Robert Harper - 1991 - Journal of Symbolic Logic 56 (2):763-766.
Metafunctions in nqthm and acl.Robert Boyer - manuscript
Integrating external deduction tools with ACL2.Matt Kaufmann, J. Strother Moore, Sandip Ray & Erik Reeber - 2009 - Journal of Applied Logic 7 (1):3-25.
Robert L. Kindrick, Robert Henryson. Boston: Twayne, division of G. K. Hall, 1979. Pp. 214; frontispiece. $12.95. Robert Henryson, The Poems of Robert Henryson, ed. Denton Fox. Oxford: Clarendon Press; New York: Oxford University Press, 1981. Pp. cxxiv, 596. $98. [REVIEW]Florence Ridley - 1982 - Speculum 57 (2):626-631.
Gödel Kurt. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 pp. 396, 398. Gödel Kurt. On the length of proofs (1936a). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Reelle Funktionen, by Kurt Gödel, edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp. [REVIEW]H. B. Enderton - 1996 - Journal of Symbolic Logic 61 (2):703-704.
Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 332– 336. , Literaturberichte, pp. 20– 22.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 odd pp. 333– 337. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 212, 214. , p. 260.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 213, 215. - Solomon Feferman. Introductory note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York a. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
Computational Agents as a Test-Bed to Study the Philosophical Dialogue Model "DE": A Development of Mackenzie's DC.Tangming Yuan, David Moore & Alec Grierson - 2003 - Informal Logic 23 (3):263-284.
John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 37– 43. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.

Analytics

Added to PP
2014-04-07

Downloads
24 (#639,942)

6 months
1 (#1,510,037)

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