product iamge

Computer Programming and Formal Systems

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): P. Braffort and D. Hirschberg (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 26
Publisher: Elsevier Science
Year: 1959

Language: English
Pages: iii-vi, 1-161

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vi

Mechanical Mathematics and Inferential Analysis Original Research Article
Pages 1-20
Hao Wang

Observations Concerning Computation, Deduction, and Heuristics Original Research Article
Pages 21-32
E.W. Beth

A Basis for a Mathematical Theory of Computation Original Research Article
Pages 33-70
John McCarthy

An Abstract Computer With a Lisp-Like Machine Language Without a Label Operator Original Research Article
Pages 71-86
P.C. Gilmore

AS Implified Proof Method for Elementary Logic Original Research Article
Pages 87-94
Stig Kanger

A Basis for the Mechanization of the Theory of Equations Original Research Article
Pages 95-99
A. Robinson

Programming and the Theory of Automata Original Research Article
Pages 100-117
Arthur W. Burks

The Algebraic Theory of Context-Free Languages Original Research Article
Pages 118-161
N. Chomsky, M.P. SchГјtzenberger