Items related to The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi - Hardcover

Büchi, J. Richard

 
9780387970646: The Collected Works of J. Richard Büchi
Hardcover
ISBN 10: 0387970649 ISBN 13: 9780387970646
Publisher: Springer-Verlag New York Inc., 1989

Synopsis

(He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than usual.) We are happy to present here this collection of his papers.

"synopsis" may belong to another edition of this title.

Synopsis

Buchi (1924-1984) is known for his work in mathematical logic and theoretical computer science. His papers (some in German) are grouped by subject area, and accompanied by requested comments introducing and evaluating his work in each area. Introductory material discusses Buchi's life and work in general terms. The writings as published here are re

"About this title" may belong to another edition of this title.

Publisher
Springer-Verlag New York Inc.
Publication date
1989
Language
English
ISBN 10 
0387970649
ISBN 13 
9780387970646
Binding
Hardcover
Number of pages
712
Editor
Mac Lane Saunders, Siefkes Dirk