Computer programming and formal systems
By: Edited by P. Braffort and D. Hirschberg
Contributors: Hirschberg, D. (David), joint ed
Series: Studies in logic and the foundations of mathematics; Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1963
Place of publication: Amsterdam
Language: eng
Format: [electronic resource]
Number of pages: 161
ISBN-13: 9780444534002
Subjects: Computer programming; Programmation (Ordinateurs)
Notes: Imprint covered by label: New York, Humanities Press.

Includes bibliographical references.

Description based on print version record.
Table of contents: title: Mechanical mathematics and inferential analysis / Hao Wang; title: Observations concering computation, deduction and heuristics / E.W. Beth; title: Basis for mathematical theory of computation / John McCarthy; title: Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore; title: AS implified proof method for elementary logic / Stig Kanger; title: Basic for the mechanization of the theory of equations / A. Robinson; title: Programming and the theory of automata / Arthur W. Burks; title: Algebraic theory of context-free languages / N. Chomsky, M.P. Schützenberger.