J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 4 , pp. 420–453; also ibid., vol. 6 , pp. 1–17; and The computer journal, vol. 5 no. 4 , pp. 349–367 [Book Review]

Journal of Symbolic Logic 37 (3):623-624 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272794

Links

PhilArchive



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

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

J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur , A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 , pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 , pp. 299–314. [REVIEW]Karel Čulík - 1972 - Journal of Symbolic Logic 37 (3):622-623.
Review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, Report on the Algorithmic Language ALGOL 60. [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):622-623.
Perlis A. J. and Samelson K.. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Goodman Richard, Pergamon Press, New York-Oxford-London-Paris 1960, pp. 268–290. , pp. 8–22.). [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):620-622.
McCarthy John. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238.McCarthy John. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by Braffort P. and Hirschberg D., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1963, pp. 33–70. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
STIEFEL, E. - Einführung in die Numerische Mathematik. [REVIEW]G. Calamai - 1967 - Scientia 61 (2):273.
Stiefel, E. - Einführung In Die Numerische Mathematik. [REVIEW]G. Calamai - 1967 - Scientia 61 (102):273.
Beyond Lisp.John McCarthy - unknown
Knowing and the Mystique of Logic and Rules: including True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science.Peter Naur - 1995 - Springer Verlag.
Language and Other Abstract Objects [1981]: The Metaphysics Of Linguistics. [REVIEW]Mark McEvoy - 2003 - Philosophical Forum 34 (3-4):427-438.
The Golden Casket: Chinese Novellas of Two Millennia.R. L. Backus, Christopher Levenson, Wolfgang Bauer & Herbert Franke - 1970 - Journal of the American Oriental Society 90 (2):415.
A Reply to Professor Haldane's "a Logical Basis for Genetics".J. H. Woodger - 1956 - British Journal for the Philosophy of Science 7 (26):149-155.
Language and other abstract objects [1981]: The metaphysics of linguistics.Mark McEvoy - 2003 - Philosophical Forum 34 (3-4):427–438.
A computer/gikr-algol/piiogkaf. Poh computing hlectkon and position have functions.I. I. Vinduska - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 1--248.
E. W. Beth. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., vol. 56 , pp. 66–71; and Ibid., vol. 15 , pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-62.
The Luminousity of Language and Symbol.PhD Bauer, Rudolph Bauer - 2012 - Transmission 1 (Awareness).

Analytics

Added to PP
2015-02-05

Downloads
36 (#421,132)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Untersuchungen über Mengentheoretische Gleichungen.Horst Müller - 1973 - Mathematical Logic Quarterly 19 (14‐18):249-264.

Add more citations

References found in this work

No references found.

Add more references