Wang, H. Computation, logic, philosophy: a collection of essays

Title

Wang, H. Computation, logic, philosophy: a collection of essays

Files

Description

Hao Wang. Computation, logic, philosophy: a collection of essays

Series: Mathematics and its applications (Kluwer Academic Publishers). China series

This is a collection of research papers by Wang Hao, a distinguished logician with international fame. All these papers, most of which have been published in various academic journals in the last 30 years, are related to a single theme: logic and computers. Among them are the pioneering papers on automated theorem proving, written by Wang back in the sixties-papers which actually opened up a new horizon and for which Wang was awarded the milestone prize o ATP in 1982.

The investigation into the relationship between mathematical logic and computer science is an area that has attracted the attention of many researchers in recent years.

ISBN

7030002113

Publication Date

1990

Publisher

Science Press

City

Beijing, China

Keywords

logic, computer science

Comments

The Rockefeller University Library Math Physics Library QA 76.9 M35 W246 1990

The Rockefeller University Library President's Office OFFICE OF THE PRESIDENT

Wang, H. Computation, logic, philosophy: a collection of essays

Share

COinS